PK
do-нотация же есть
Size: a a a
2018 April 02
S
значит крайне сложно сказать что на ЯП можно писать монадный код, не покривив душой/лицом
Еще пару вопросов, и ты совсем поплывешь в формулировках. Давай лучше строгое обоснование почему "поддержки монад не может быть без НКТ".
λO
Потому что нельзя писать код полиморфный по типу монад
S
код использующий абстракцию “Monad”
Такой код можно писать даже на C# с LINQ'ом
PK
И даже на javascript с async/await
S
Потому что нельзя писать код полиморфный по типу монад
Полиморфный код по типу монад писать нельзя, но монады есть.
DR
Полиморфный код по типу монад писать нельзя, но монады есть.
нет
АГ
Полиморфный код по типу монад писать нельзя, но монады есть.
А вот я соглашусь, впику хаскеллистам
PK
в Go - map не написать, да
S
Хорошо, ты всех убедил.
PK
Грубо говоря, в Go приходится писать для каждой пары типов []int -> []string свой map
DR
Хорошо, ты всех убедил.
вы меня явно не убедили, многоуважаемый
PK
В F# тебе приходится писать свои bind / return / map для каждого типа
PK
для каждого типа
MyMonadicType 'tDR
если на ruby написать bind и return для любого типа, который имеет инстанс Monad в хаскелле - это означает что ruby поддерживает монадное программирование?
PK
Так как количество монад не так много и новые мы каждый день не пишем - это не так страшно
DR
логика у вас именно такая
PK
Я не понимаю, что такое монадное программирование
S
вы меня явно не убедили, многоуважаемый
Так видно же, что ты всячески сопротивляешься. Зачем в детский сад все переводить.