E
денег, наверное, за двоих получают.
не дві гривні, а целых чотири
Size: a a a
2020 October 08
AO
Так. Что такое моноид?
Тайпкласс с методами combine, empty и законами для них + конкретные инстансы
SK
полдня искал
без объяснения трюка с энкодингом кайндов навряд ли зайдет, сомневаюсь, что котлинисты в дикой природе прямо вот его читают.
Oℕ
вообще монада это тип данных, а в котлине остается только эмулировать это функциями. лично я разницы не вижу, потому что и там и там нужно либо оборачивать Optional(2), либо .monad()
просто тип данных и всё?
AS
Тайпкласс с методами combine, empty и законами для них + конкретные инстансы
В контексте этого определения монады?
Oℕ
Тайпкласс с методами combine, empty и законами для них + конкретные инстансы
проиграл
с#
просто тип данных и всё?
ну нет, я так понял это тип данных, который оборачивает какое-то значение. опять же я не могу это на вашем скалистом объяснить
AS
с#
ну нет, я так понял это тип данных, который оборачивает какое-то значение. опять же я не могу это на вашем скалистом объяснить
ну такое постоянно в корутинах с Deferred<T>
AO
В контексте этого определения монады?
В контексте конкретной реализации, а как оно будет в теории категории я силён
SK
monad4 не занят?
AS
monad4 не занят?
Пока нет.
SK
/set monad4 монада это то, что можно сплющить.
E
несмешно
SK
так и должно быть.
с#
ну нет, я так понял это тип данных, который оборачивает какое-то значение. опять же я не могу это на вашем скалистом объяснить
но по идее для этого есть тайпклассы.... я запутался крч
E
так и должно быть.
а, ну тогда смешно)))
E
но по идее для этого есть тайпклассы.... я запутался крч
а монада это не тайпкласс?