May 25, 2007
“Currying is turning a function of type (A,B) -> C into A -> (B -> C).
Partial application is slightly more fuzzy. The intuitive notion is applying a function to less values than arguments of the function, but then you could say all functions take one argument, so…
Comments gratefully appreciated. Please send them to me by any method of your choice and I'll include them here.