[Haskell-cafe] constant functions

ajb at spamcop.net ajb at spamcop.net
Fri Dec 29 03:36:45 EST 2006

G'day all.

Quoting Matthew Brecknell <haskell at brecknell.org>:

> Yes. Function application (->) is right-associative in a type
> expression. What about a value expression?
> f a b === (f a) b
> Looks like an inconsistency? Not if you think about it. :-)

And if you don't want to think about it, this should make everything

    f :: A -> (B -> (C -> D))
    f a :: B -> (C -> D)
    (f a) b :: C -> D
    ((f a) b) c :: d

Andrew Bromage

More information about the Haskell-Cafe mailing list