curried function

(mathematics, programming)A function of N arguments thatis considered as a function of one argument which returnsanother function of N-1 arguments. E.g. in Haskell we candefine:

average :: Int -> (Int -> Int)

(The parentheses are optional). A partial application ofaverage, to one Int, e.g. (average 4), returns a function oftype (Int -> Int) which averages its argument with 4. Inuncurried languages a function must always be applied to allits arguments but a partial application can be representedusing a lambda abstraction:

\\ x -> average(4,x)

Currying is necessary if full laziness is to be applied tofunctional sub-expressions.

It was named after the logician Haskell Curry but the19th-century logician, Gottlob Frege was the first topropose it and it was first referred to in ["Uber dieBausteine der mathematischen Logik", M. Schoenfinkel,Mathematische Annalen. Vol 92 (1924)].

David Turner said he got the term from Christopher Strachey who invented the term "currying" and used it in hislecture notes on programming languages written circa 1967.Strachey also remarked that it ought really to be called"Schoenfinkeling".

Stefan Kahrs reported hearing somebody inGermany trying to introduce "scho"nen" for currying and"finkeln" for "uncurrying". The verb "scho"nen" means "tobeautify"; "finkeln" isn't a German word, but it suggests "tofiddle".

["Some philosophical aspects of combinatory logic",H. B. Curry, The Kleene Symposium, Eds. J. Barwise,J. Keisler, K. Kunen, North Holland, 1980, pp. 85-101]

单词	curried function
释义	curried function curried function (mathematics, programming)A function of N arguments thatis considered as a function of one argument which returnsanother function of N-1 arguments. E.g. in Haskell we candefine: average :: Int -> (Int -> Int) (The parentheses are optional). A partial application ofaverage, to one Int, e.g. (average 4), returns a function oftype (Int -> Int) which averages its argument with 4. Inuncurried languages a function must always be applied to allits arguments but a partial application can be representedusing a lambda abstraction: \\ x -> average(4,x) Currying is necessary if full laziness is to be applied tofunctional sub-expressions. It was named after the logician Haskell Curry but the19th-century logician, Gottlob Frege was the first topropose it and it was first referred to in ["Uber dieBausteine der mathematischen Logik", M. Schoenfinkel,Mathematische Annalen. Vol 92 (1924)]. David Turner said he got the term from Christopher Strachey who invented the term "currying" and used it in hislecture notes on programming languages written circa 1967.Strachey also remarked that it ought really to be called"Schoenfinkeling". Stefan Kahrs reported hearing somebody inGermany trying to introduce "scho"nen" for currying and"finkeln" for "uncurrying". The verb "scho"nen" means "tobeautify"; "finkeln" isn't a German word, but it suggests "tofiddle". ["Some philosophical aspects of combinatory logic",H. B. Curry, The Kleene Symposium, Eds. J. Barwise,J. Keisler, K. Kunen, North Holland, 1980, pp. 85-101]
随便看	saint-gaudens national historical park saint-gaudens national historic site saint-gelays, mellin de saint genet saint gennaro feast saint genêt saint george saint george catholic church saint george (disambiguation) saint george's saint george's channel saint george's cross saint george's ensign saint george's flag saint george's mushroom saint georges volley ball saint george, ut, usa - st george saint geraint saint germain saint-germain saint germain des pres saint-germain des près saint germain des prés saint-germain des prés saint-germain-des-prés