[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
clear:
f :: A -> (B -> (C -> D))
f a :: B -> (C -> D)
(f a) b :: C -> D
((f a) b) c :: d
Cheers,
Andrew Bromage
More information about the Haskell-Cafe
mailing list