4 ms·
It's not just monad transformers, monads themselves are pretty awkward to use in any language that's not Haskell. And actually, a lot of FP languages simply don
by hota_mazi 9y ago
It's not just monad transformers, monads themselves are pretty awkward to use in any language that's not Haskell. And actually, a lot of FP languages simply don't even have monads at all (OCaml, F#).
Monads should never have escaped Haskell.
- s4vi0r 9y agoIsn't a Monad just the fancy name for a type/structure that implements map and flatMap in a lawful manner?
- hota_mazi 9y agoClose: the required operations are `flatMap` and bind/pure/point/lift/return/whatever-you-want-to-call-it. You can derive `map` from these two other functions so it doesn't need to be part of the interface.
- tome 9y ago> Monads should never have escaped Haskell. They should have put them in a monad.