[Haskell-cafe] Monad explanation

Jonathan Cast jonathanccast at fastmail.fm
Wed Feb 4 17:29:29 EST 2009

On Wed, 2009-02-04 at 23:55 +0200, Tymur Porkuian wrote:
> > Huh?  You can't actually over-ride function application --- Haskell's
> > built-in application always does exactly the same thing, at every type.

> It's a metaphor.

Oh, right.  That one word that means `inaccurate way of putting things'!
Invoking it solves everything!  I maintain that my claims were entirely
accurate.  I maintain your claims are in-accurate and confusing.

> In every case container has its own method of
> applying functions to its contents - e.g. instead of "f x" we write "x
> fmap f".

(NB. Typically only one of these will type-check; you know that, right?)


More information about the Haskell-Cafe mailing list