[Haskell-cafe] constant functions

David House dmhouse at gmail.com
Fri Dec 29 16:37:14 EST 2006


On 29/12/06, ajb at spamcop.net <ajb at spamcop.net> wrote:
> And if you don't want to think about it, this should make everything
> clear:

My additions displayed below:

f :: A -> B -> C -> D
>     f :: A -> (B -> (C -> D))
By right-associativity of f.
>     f a :: B -> (C -> D)
>     (f a) b :: C -> D
>     ((f a) b) c :: d
s/d/D/

-- 
-David House, dmhouse at gmail.com


More information about the Haskell-Cafe mailing list