АГ
Расхожая фраза, да
Size: a a a
2020 May 22
Y
Изначально в haskell была только чистота и монадки
Даже монадок же не было?
АГ
Но я видел, как товарищи пишут на Хаскеле, будто это сишечка какая. Это так себе, особенно если там лапша и 14 вложенных выражений лесенкой
AV
Были конечно
AV
монадки были за 10+ лет до хаскеля и в нём кажется с самого начала выражались
AV
Reader/Cont/State/List
AV
Кажется, что да, классы типов и ленивость это то из-за чего всё пошло
AV
Но лучше у Клапауция спросить, он лучше историю знает
АГ
Дело в том, что любой ответ на вопрос об императивности монад не избавляет от ответственности писать чистый код
YS
Тайпклассы вроде в хаскеле не сразу были?
YS
я чёт краем уха слышал
АГ
Я тоже слышал, что не сразу
YS
Как мне рассказали - они же в коре выражаются через явный проброс словариков
AV
чистый это какой?
Y
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/history.pdf вот это надо перечитать
AV
foo f b g = do
guard (f b)
x <- g
f g
чистый или нет?
Y
чистый это какой?
АГ
чистый это какой?
Это какой Дядя Боб описывает