DF
Это заговор хаскеллистов
Size: a a a
2020 January 23
DF
Обзывать типы одинаковой буквой
AZ
например угадай что он найдет по
(a -> Bool) -> [a] -> [a]DF
Фильтр?
AZ
да, но не только
P
Dollar Føølish
Ого а как он узнал что будет будет а а не б
как лайфтаймы
DF
Кек
F
как лайфтаймы
типовая переменная
P
просто пишешь буквы по номерам переменных
G
например угадай что он найдет по
(a -> Bool) -> [a] -> [a]takeWhile, dropWhile, ...
DF
Кек
AZ
на самом деле хачкель изи
AZ
если про его основы
AZ
сложности возникают когда начинаешь местные паттерны учить
AZ
впрочем, я бы не сказал что оопэ паттерныпроще
MK
проще в изучении, сложней в применении, имхо
F
если про его основы
написание инстансов для стандартных классов это основы ;)
AZ
Foo
написание инстансов для стандартных классов это основы ;)
а вот функции с сигнатурой
((a -> r) -> (e -> r) -> r) -> (a -> (b -> r) -> (e -> r) -> r) -> (b -> r) -> (e -> r) -> r - не очень)