[Haskell-cafe] constant functions

Tomasz Zielonka tomasz.zielonka at gmail.com
Fri Dec 29 04:00:30 EST 2006

On Fri, Dec 29, 2006 at 03:36:45AM -0500, ajb at spamcop.net wrote:
> 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

Nice illustration. It's as if the letters jumped over the colons from
the type world to the value world. Now if you can't sleep, you can count
jumping types instead of sheep ;-)

Best regards

More information about the Haskell-Cafe mailing list