Editing Currying (section)

== History ==
The "Curry" in "Currying" is a reference to logician [[Haskell Curry]], who used the concept extensively, but [[Moses Schönfinkel]] had the idea six years before Curry.<ref name="haskell">{{cite journal |last1=Curry |first1=Haskell B. |author1-link=Haskell Curry |date=1980 |editor-last=Barwise |editor-first=Jon |editor2-last=Keisler |editor2-first=H. Jerome |editor3-last=Kunen |editor3-first=Kenneth |title=Some Philosophical Aspects of Combinatory Logic |journal=The Kleene Symposium: Proceedings of the Symposium Held June 18-24, 1978 at Madison, Wisconsin, U.S.A. (Studies in Logic and the Foundations of Mathematics) |series=Studies in Logic and the Foundations of Mathematics |publisher=North-Holland Publishing Company, imprint of Elsevier |volume=101 |pages=85–101 |doi=10.1016/S0049-237X(08)71254-0 |isbn=9780444853455 |issn=0049-237X |s2cid=117179133 |quote=Some contemporary logicians call this way of looking at a function "currying", because I made extensive use of it; but Schönfinkel had the idea some 6 years before I did.}}</ref> The alternative name "Schönfinkelisation" has been proposed.<ref>{{Cite book |last1=Heim |first1=Irene |url=https://cs.brown.edu/courses/csci2951-k/papers/heim00.pdf |title=Semantics in Generative Grammar |last2=Kratzer |first2=Angelika |date=January 2, 1998 |publisher=Blackwell Publishers, an imprint of Wiley |year=1998 |isbn=0-631-19712-5 |publication-place=Malden, Massachusetts |language=en}}</ref> In the mathematical context, the principle can be traced back to work in 1893 by [[Gottlob Frege|Frege]].<ref name=Frege/><ref name="quine"/>

The originator of the word "currying" is not clear. [[David Turner (computer scientist)|David Turner]] says the word was coined by [[Christopher Strachey]] in his 1967 lecture notes [[Fundamental Concepts in Programming Languages]],<ref>{{cite web |last1=Turner |first1=David |date=1 Jun 1997 |title=Programming language, Currying, or Schonfinkeling?, #9 / 14 |url=http://computer-programming-forum.com/26-programming-language/976f118bb90d8b15.htm |url-status=live |archive-url=https://web.archive.org/web/20220303194614/http://computer-programming-forum.com/26-programming-language/976f118bb90d8b15.htm |archive-date=3 March 2022 |access-date=3 March 2022 |website=Computer Programming Language Forum}}</ref> but that source introduces the concept as "a device originated by Schönfinkel", and the term "currying" is not used, while Curry is mentioned later in the context of higher-order functions.<ref name=Strachey/> [[John C. Reynolds]] defined "currying" in a 1972 paper, but did not claim to have coined the term.<ref name=Reynolds/>