KK
Чтоб писать свои монады
И зачем?
Size: a a a
2020 May 16
CC
И зачем?
Чтобы внезапно писать меньше кода
/¯
И зачем?
Зачем люди пишут обощенный код?
KK
Чтобы внезапно писать меньше кода
От монад?
G
Зачем люди пишут обощенный код?
Чтобы мне парить голову своим ФП!11!1
G
От монад?
Ну монады - как обобщённый код, и функции, оперирующие монадами, тоже
G
Очень обобщённый
CC
От монад?
в частности
KK
ФП такое себе в плане отлаживаемости кода
KK
И читабельность, кстати, тоже страдает
CC
ФП такое себе в плане отлаживаемости кода
Почему?)
MB
От монад?
Ну например, есть функция, которая будет получать либо синхронный источник данных, либо асинхронный. По идее, с помощью монад такую функцию можно сделать просто и эффективно.
KK
Почему?)
Потому что ленивость
CC
У тебя нет состояния
CC
У тебя все тестируется изолированно
/¯
Почему?)
Экспертное мнение
/¯
Потому что ленивость
Ленивость и фп ортогональны
G
Потому что ленивость
Не все ФП языки ленивы. Scala тот же - неленивый
G
Idris неленивый
CC
Потому что ленивость
Это не имеет отношения к ФП