ΑZ
Тогда + тоже неявная монада🤦♀
так-то всё Id монада
Size: a a a
2020 September 02
ΑZ
или не Id
ΑZ
короч я считаю, что подобный эмбиент контекст скоре плохо чем хорошо
ΑZ
я бы предпочел видеть, где контекст реально используется а где нет
ΑZ
с ансейфом так нельзя, и в твоей схеме так нельзя
ΑZ
а вот с норамальным do (как авейты в расте) - спокойно
A
В чем вообще прикол говорить неявная монада?
A
Нахрен вообще слово монада тащить?
A
Если мы нигде это использовать не можем.
p
Нахрен вообще слово монада тащить?
Хз
p
Убедить что ФП крута
A
В том же хаскеле можно писать код, абстрагируясь от конкретных монадо.
A
И там да, есть смысл как-то все это обобщать.
A
Но в расте то hkt нет, абстрагироваться возможности нет. Зачем тогда говорить, что мол Option у нас монада.
A
просто это неявная монада зашитая в язык
Зачем вообще тут вводить понятие монады?
H
Но в расте то hkt нет, абстрагироваться возможности нет. Зачем тогда говорить, что мол Option у нас монада.
чтобы растеры почувствовали себя неполноценными
H
очевидно же
A
Кстати кто в ведьмаке шарит, Видьгефорц убил того высшего вампира (Регира вроде) таки или нет? Просто вроде как там высшие вампиры бессмертные существа, чо с ним Вильгефорц такого сделал?
спойлер - он живой и будет в дополнении Кровь и Вино
ΑZ
Зачем вообще тут вводить понятие монады?
может и незачем
ΑZ
я просто говорю что от более странного синтаксиса ничего не изменится