Функции высшего порядка

@Dzhakomausss · Регистрация: 21.11.2012

Студворк — интернет-сервис помощи студентам

Добрый вечер.

Даны пять функций:
1: isStructured, проверяющая, что её аргумент является сложным типом.
2: getType, по заданному имени и списку идентификаторов (базе данных) возвращающая тип идентификатора с указанным именем.
3: getFields, по заданному имени возвращающая список полей идентификатора, если он имеет тип структуры
4: getByType, возвращающая список имён идентификаторов указанного типа из базы данных.
5: getByTypes, аналогичная предыдущей, но принимающей вместо одного типа списков типов (с помощью этой функции можно получить, например, список всех идентификаторов с числовым типом).

Haskell
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
data MyType = Null |
           MyInt |
              MyFloat |
              MyString |
              MyStruct [(String,MyType)] deriving (Show,Eq)
 
db = [("x",MyInt),
      ("y",MyFloat),
      ("z",MyString),
      ("u",MyInt),
      ("s",MyStruct [("s1",MyInt),("s2",MyFloat)])]
 
isStructured :: MyType -> Bool
isStructured (MyStruct b) = True
isStructured (_) = False
 
getType :: String -> [(String,MyType)] -> MyType
getType _ [] = Null
getType s (h:t) = if fst(h) == s then snd(h) else getType s t
 
getFieldsFromStruct :: MyType -> [(String,MyType)]
getFieldsFromStruct (MyStruct a) = a
getFieldsFromStruct _ = []
 
getFields :: String -> [(String,MyType)] -> [(String,MyType)]
getFields _ [] = []
getFields s (h:t) = if fst(h) == s && isStructured (snd h) then
               getFieldsFromStruct (snd h)
                    else
                        getFields s t
 
getByType :: MyType -> [(String,MyType)] -> [String]
getByType _ [] = []
getByType a (h:t) = if a == (snd h) then
                        (fst h) : getByType a t
                    else
                        getByType a t
 
getByTypes :: [MyType] -> [(String,MyType)] -> [String]
getByTypes [] _ = []
getByTypes _ [] = []
getByTypes (h:t) db = (getByType h db) ++ getByTypes t db

Помогите реализовать их с помощью функций высшего порядка , буду очень благодарен.

@Catstail · 30.11.2013, 21:49

Вот, к примеру, другая реализация getType:

Haskell
1
2
3
4
5
6
7
getType' :: String -> [(String,MyType)] -> MyType 
getType' s h = snd $ head $ filter (\ x -> (s == fst x)) h 
 
Main> getType "y" db   -- исходная
MyFloat
Main> getType' "y" db  -- новая
MyFloat

Добавлено через 7 минут
а вот - getByType

Haskell
1
2
3
4
5
6
7
getByType' :: MyType -> [(String,MyType)] -> [String]
getByType' x base = map fst $ filter (\ z -> (x == snd z)) base
 
Main> getByType MyInt db  -- старая
["x","u"]
Main> getByType' MyInt db  -- новая
["x","u"]

Добавлено через 6 минут
getByTypes:

Haskell
1
2
3
4
5
6
7
getByTypes' :: [MyType] -> [(String,MyType)] -> [String]
getByTypes' lt base = map fst $ filter (\ z -> (snd z) `elem` lt) db
 
Main> getByTypes [MyInt,MyFloat] db  -- старая
["x","u","y"]
Main> getByTypes' [MyInt,MyFloat] db -- новая
["x","y","u"]

В общем, принцип замены простой рекурсии на map (и, при необходимости, filter) ясен...

Новые блоги и статьи Все статьи Все блоги /
Восстановить юзерскрипты Greasemonkey из бэкапа браузера damix 15.01.2026 Если восстановить из бэкапа профиль Firefox после переустановки винды, то список юзерскриптов в Greasemonkey будет пустым. Но восстановить их можно так. Для этого понадобится консольная утилита. . .	Изучаю kubernetes lagorue 13.01.2026 А пригодятся-ли мне знания kubernetes в России?	Сукцессия микоризы: основная теория в виде двух уравнений. anaschu 11.01.2026 https:/ / rutube. ru/ video/ 7a537f578d808e67a3c6fd818a44a5c4/	WordPad для Windows 11 Jel 10.01.2026 WordPad для Windows 11 — это приложение, которое восстанавливает классический текстовый редактор WordPad в операционной системе Windows 11. После того как Microsoft исключила WordPad из. . .
Classic Notepad for Windows 11 Jel 10.01.2026 Old Classic Notepad for Windows 11 Приложение для Windows 11, позволяющее пользователям вернуть классическую версию текстового редактора «Блокнот» из Windows 10. Программа предоставляет более. . .	Почему дизайн решает? Neotwalker 09.01.2026 В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .	Модель микоризы: классовый агентный подход 3 anaschu 06.01.2026 aa0a7f55b50dd51c5ec569d2d10c54f6/ O1rJuneU_ls https:/ / vkvideo. ru/ video-115721503_456239114	Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ФедосеевПавел 06.01.2026 Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ВВЕДЕНИЕ Введу сокращения: аналоговый ПИД — ПИД регулятор с управляющим выходом в виде числа в диапазоне от 0% до. . .