
Hi haskell-cafe,
From a non programmer : Does someone know the exact source, book, page no etc. where Haskell Curry intoduced and developed its concept of a curry function.
Currying is to represent a function of multiple arguments as a function of a single argument that returns a function. So if f (x, y) = F, curry f x is a function that, when applied to y returns F. I think that Currying was actually invented by Schönfinkel, but it's just mentioned in passing in "Über die bausteiner mathematischen logik" (apologies if spelling is wrong) or in "Grundlager ..." whatever the other one is called, I can't remember.
Is there an exemple of such a function in the Haskell language ?
curry! -- Jón Fairbairn Jon.Fairbairn@cl.cam.ac.uk 31 Chalmers Road jf@cl.cam.ac.uk Cambridge CB1 3SZ +44 1223 570179 (after 14:00 only, please!)