Curried function

A function of N arguments that is considered as a function of one argument which returns another function of N-1 arguments. It was named after the logician Haskell Curry but the 19th-century logician, Gottlob Frege was the first to propose it and it was first referred to in ["Uber die Bausteine 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 his lecture notes on programming languages written circa 1967.

Онлайн словарь компьютерных терминов