(
> Открываю
> Стоит дизлайк
> Стоит дизлайк
Size: a a a
2021 March 09
(
(
Каждый раз когда кто-то говорит, что корутины покрывают юзкейсы монад, я хочу спросить: а че, простите, корутины покрывают в айдентити монадке?
AI
Кому-то точно сделал. Я думаю, если было бы возможно объяснить монады понятным для всех способом, все б уже носились с этим объяснением.
не шарю, но думаю маонады в хаскеле это - абстракции шобы завернуть мутабельный стейт, я не прав?
AM
не шарю, но думаю маонады в хаскеле это - абстракции шобы завернуть мутабельный стейт, я не прав?
Абстракция шобы завернуть мутабельность — это монада State. Монады в целом — более общая штука. Но я ж ненастоящий сварщик.
AI
Абстракция шобы завернуть мутабельность — это монада State. Монады в целом — более общая штука. Но я ж ненастоящий сварщик.
ну короче все то шо не влезает в парадигму purefp заворачивать
(
не шарю, но думаю маонады в хаскеле это - абстракции шобы завернуть мутабельный стейт, я не прав?
монады в хаскеле это абстракция последовательности вычислений
(
Чтобы можно было написать абстрактно комбинаторы вычисления, а потом захуячить просто Option/Either/IO/что-то ещё там и оно со всем будет работать с дополнительными фичами, которые конкретная реализация предоставляет
(
ну короче все то шо не влезает в парадигму purefp заворачивать
Необязательно не влезает, те же опшены/ейзеры это вполне чистые вычисления, просто флатмаппить удобнее, чем руками заворачивать-разворачивать
AM
ну короче все то шо не влезает в парадигму purefp заворачивать
Не влегает в парадигму purefp в х-ле ровно одна монада — IO.
AM
Остальные, будь то опшнл, список, айзер, стейт, райтеры с ридерами вполне себе с чистым кодом работают.
RU
При чем тут антимонопольные органы?
Разве они занимаються картельными сговорами?
Разве они занимаються картельными сговорами?
Как раз да
с#
Каждый раз когда кто-то говорит, что корутины покрывают юзкейсы монад, я хочу спросить: а че, простите, корутины покрывают в айдентити монадке?
я так не говорил бтв
с#
не шарю, но думаю маонады в хаскеле это - абстракции шобы завернуть мутабельный стейт, я не прав?
монады это не языковая фича, в котлине тоже есть монады - List
AM
монады это не языковая фича, в котлине тоже есть монады - List
В отдельных языках они вполне себе прямым способом выразимы средствами языка.
с#
В отдельных языках они вполне себе прямым способом выразимы средствами языка.
в каком языке монады встраивают как фичу типа корутин?)
с#
то, что система типов определённых языков позволяет выразить монады в общем случае - не делает их фичей языка
(
в каком языке монады встраивают как фичу типа корутин?)
а ду-нотация это что?
с#
а ду-нотация это что?
а ну я не думал, что это монада
(
а ну я не думал, что это монада
это не монада