G'day all.
Quoting Matthew Brecknell <[EMAIL PROTECTED]>:
> 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
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
