PK
Ну, во первых, монады они есть даже в Джаваскрипте
Size: a a a
2018 April 02
AI
PK
И нет, я не знаю, что такое workflow в F#
PK
Единственная проблема, что придется набор комбинаторов написать для каждого типа, который монадический
PK
DO-нотация реализована в виде фичи языка, которая называется Computation Expressions
AV
Не, буду лучше проституткой.
достаточно ! в foldl' поставить или пакет fold/foldl использовать
AV
Я на самом деле спрашивал, в чем проблема классического фолда - пушто он ленивый и тапл будет на каждый элемент создан?
нет
λO
Единственная проблема, что придется набор комбинаторов написать для каждого типа, который монадический
Ну значит нет там монад
PK
Ну значит нет там монад
ок ж(
S
Ну значит нет там монад
Монады есть, типов высшего порядка нет.
PK
HKT нет - поэтому и приходится операторы для каждого типа определять, да
DR
поддержки монад не может быть без HKT
AV
мне лень все там читать, в общем foldl - неюзабельный функция вообще
AV
foldl' и foldr норм
DR
foldl вообще никто никогда не юзает, кроме тех кто первую неделю на хаскеле пишет
S
поддержки монад не может быть без HKT
Что значит "поддержки"?
PS
поддержки монад не может быть без HKT
в F# есть SRTP :)
DR
Что значит "поддержки"?
значит крайне сложно сказать что на ЯП можно писать монадный код, не покривив душой/лицом
PK
Что такое монадный код?
DR
код использующий абстракцию “Monad”