3 ms·
As 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
by asQuirreL 10y ago
As 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.