29 Dec
2006
29 Dec
'06
4 a.m.
On Fri, Dec 29, 2006 at 03:36:45AM -0500, ajb@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 Tomasz