3 ms·
Also I don't think the definition of Monad itself is accurate there.
by psibi 10y ago
Also I don't think the definition of Monad itself is accurate there.
- asQuirreL 10y agoAs far as I can tell, the definition is accurate. The only thing I would say is that `flatMap` is the name given to the (usual) list monad's bind operation, and is not used for arbitrary monad's binds.
- eru 10y agoTheir definition of 'Lift' is interesting. In essence with that definition they could redefine Applicative Functors as something that's a 'Lift' and a Pointed Functor.