Currying - Curry function

[Mark Carroll]

On Tue, 7 Aug 2001, Normand Leclerc wrote:

> 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.

I'm afraid I don't know anything not mentioned by
http://www.cs.nott.ac.uk/~gmh/faq.html#currying

I wonder if "Combinatory logic", Haskell B. Curry and Robert Feys,
North-Holland, 1958, might cite the right earlier sources.

> Is there an exemple of such a function in the Haskell language ?

Most certainly. For instance, we can define:

	f :: Integer -> Integer -> Integer
	f x y = x + y

	g = f 1

Then,

> :type f
Integer -> Integer -> Integer
> :type g
Integer -> Integer
> f 2 3
5
> g 4
5
>

I hope that helps.

-- Mark