Б
толстишь
Size: a a a
2020 April 16
S
монады это не про типы сумму. Например тип который используется в identity monad имеет только один конструктор
Да кто такие эти ваши монады бладь
∅ч
монады это не про типы сумму. Например тип который используется в identity monad имеет только один конструктор
ну вот я и говорю
∅ч
но монад же это типо тип, который разные типы представляет
∅ч
вроде чето такого
SM
нет, монада это тип + 2 операции на нем
SM
ретурн и байнд
∅ч
толстишь
это правда, мань
SM
для того же типа Мейби из твоего примера, существуют разные монады
Б
это правда, мань
тогда сочувствую
∅ч
тогда сочувствую
в каком плане?
SM
когда говорят "Мейби монада" то имеют ввиду ту дефолтную реализацию которая в хаскелле, но могут быть разные
∅ч
в каком плане?
да, представь... наконец изобрели общий язык программирования
∅ч
без ебанутого оверхеда, без ооп и с хорошим адт
S
да, представь... наконец изобрели общий язык программирования
Питон
∅ч
Питон
но он же...
∅ч
без ебанутого оверхеда, без ооп и с хорошим адт
this