Hacker News new | comments | show | ask | jobs | submit login

Defining what things are doesn't describe what they're useful for. Consider the Monad entry; does this bring any clarity to a beginning functional programmer who's looking up why people use monads?

Also I don't think the definition of Monad itself is accurate there.

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.

Their 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.

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact