Y
Size: a a a
2018 January 31
A🚀
Ignat к этому не успею подготовится, завал на работе
A🚀
но сразу говорю что там все будет по простому без монад и репл-дривен как все любят
IT
Так и отлично же. Я всё равно тебя внесу в список на какой-нибудь будущий митап
Aq
какие монады в окамле, да и репл-дривен?
A🚀
ну я просто предупредил — аудитория то искушенная
AE
А в каком ключе про Elm?
практика применения: как автор запилил что-то в продакшн, и оно работает, какие были сложности
DR
какие монады в окамле, да и репл-дривен?
ну как какие, мономорфненькие, с отдельным байндом на каждую
DR
насчет репл-дривен даже не знаю что предположить
Aq
ну как какие, мономорфненькие, с отдельным байндом на каждую
ну, в принципе-то да, можно на функторах писать всякие функции для монад вообще, т.е. это не как в C# каком-нибудь
A🚀
как то вы как будто с упреком говорите
Aq
https://github.com/tezos/tezos/blob/master/src/lib_error_monad/error_monad.ml#L162 вот типичные представители
это не то как раз, тут не код для монад вообще
Aq
как то вы как будто с упреком говорите
без упрека не говорю ничего. Если все в порядке - и говорить не о чем.
DR
это не то как раз, тут не код для монад вообще
а что для монад?
Aq
а что для монад?
ну как функции типа sequence и liftM2
а тут конкретная имплементация монады как "паттерна"
а тут конкретная имплементация монады как "паттерна"
DR
я всегда думал окамлисты только так и делают
Aq
но могли бы и не только так (т.е. как в C#), возможности для этого есть. это правда не особо удобно, но с модульными имплицитами было бы нормально