AM
а ну я не думал, что это монада
Так это и не монада
Size: a a a
2021 March 09
AM
Это способ последовательно записать монадические вычисления
AM
Ровно так же, как корутины — способ последовательно записать асинхронные операции
с#
а ду-нотация это что?
ну без ду нотации спокойно живут монады
AM
Собсна, ровно поэтому в эрроу ду-нотацию делали на механизме корутин.
AM
ну без ду нотации спокойно живут монады
Асинхронный код тоже спокойно живёт без корутин.
с#
ладно, проехали. просто без ду нотации в хаскеле спокойно можно делать монады.
AM
А кто обратное утверждал?
с#
А кто обратное утверждал?
> https://t.me/pofftop/312146
> https://t.me/pofftop/312148
из второго сообщения следует, что раз ду-нотация это "фича типа корутин", то и монады тоже
> https://t.me/pofftop/312148
из второго сообщения следует, что раз ду-нотация это "фича типа корутин", то и монады тоже
с#
ну я по крайней мере так это понял
А
> https://t.me/pofftop/312146
> https://t.me/pofftop/312148
из второго сообщения следует, что раз ду-нотация это "фича типа корутин", то и монады тоже
> https://t.me/pofftop/312148
из второго сообщения следует, что раз ду-нотация это "фича типа корутин", то и монады тоже
Ну типа корутин, да
AM
> https://t.me/pofftop/312146
> https://t.me/pofftop/312148
из второго сообщения следует, что раз ду-нотация это "фича типа корутин", то и монады тоже
> https://t.me/pofftop/312148
из второго сообщения следует, что раз ду-нотация это "фича типа корутин", то и монады тоже
Монады — не "фича типа корутин". Но прямым аналогам корутинам (как инструменту для асинхронщины) является ду-нотация (как инструмент для чейнинга монад).
AM
И да, ду-нотацию встроили в язык. Так что?
AM
Там выше нигде не было написано, что без ду-нотации с монадами работать нельзя :)
D
Кот играет сет
U
Я придумал SJW-антикапча бота!
U
Он будет писать в чат, что сегрегация роботов и людей его оскорбляет
с#
В отдельных языках они вполне себе прямым способом выразимы средствами языка.
ээ, я возможно это сообщение не так прочитал, но мне что-то показалось там другой смысл был. в общем, я согласен с этим, но просто заметил, что монады это не в хаскеле, это везде
U
И что он человек, но дал обет никогда не проходить капчу