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

@VictorDax · Регистрация: 08.10.2012

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

Не могу запустить функции высшего порядка

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
data Note a b = BDate a (b,b,b) | Phone a b | Meet (b,b,b) a deriving (Show, Eq)
book :: [Note String Integer]
book = [Phone "Alex" 111, BDate "Alex" (01,01,2001), Phone "Bro" 222, BDate "Bro" (02,02,2002), Phone "Alejandro" 666, BDate "Alejandro" (06,06,1996), Meet (02,02,2002) "Alex"]
 
getByName n xs = (n, foldr g (Nothing, Nothing) xs) 
  where
    g (BDate n1 d) (d1, p1) = if n == n1 then (Just d, p1) else (d1, p1)     
    g (Phone n1 p) (d1, p1) = if n == n1 then (d1, Just p) else (d1, p1)  
    g _ next = next
 
getByLetter c xs = filter g xs 
  where
    g (BDate (c1:_) _) = c1 == c 
    g (Phone (c1:_) _) = c1 == c
    g _                = False
 
getAssignment d xs = foldr g [] xs 
  where 
    g t rst = case t of
      BDate n d1 -> 
        if d == d1 
           then case getByName n xs of
                  (_, (_, Just p)) -> Phone n p : rst
                  _                -> rst
           else rst  
      Meet d1 what -> if d == d1 then Meet d1 what : rst else rst
      
      _            -> rst

Запускаю так:
Main> getByName book "Alex"

Выводит ошибку:
ERROR - Type error in application
*** Expression : getByName book "Alex"
*** Term : "Alex"
*** Type : String
*** Does not match : [Note a b]

Как правильно запустить?

@calabi-yau · 09.11.2012, 19:33

Сообщение от VictorDax

Запускаю так:
Main> getByName book "Alex"

а надо так:

Haskell
1
getByName "Alex" book

зы: уже три поколения студентов на этом коде халявят, аж прослезился

@VictorDax · 09.11.2012, 20:30 **[ТС]**

Сообщение от calabi-yau

а надо так:

Haskell
1
getByName "Alex" book

Спасибо))

Сообщение от calabi-yau

зы: уже три поколения студентов на этом коде халявят, аж прослезился

Что бы мы делали без него...
Проблема только вот, что нигде не пишут никогда как запускать

Новые блоги и статьи Все статьи Все блоги /
Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Нашел на реддите интересную статью под названием «Кто-нибудь знает, где получить бесплатный компьютер или. . .	Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Рецензия / Мнение/ Перевод Нашел на реддите интересную статью под названием The Thinkpad X220 Tablet is the best budget school laptop period . Ниже её машинный перевод. Thinkpad X220 Tablet —. . .	PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Как объединить две одинаковые БД Access с разными данными VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.	Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro
Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .	Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .	Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .