🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.lang.misc
Article #1078

Re: Origin of "curried"

#1078
From: Marc Wachowitz
Date: Thu, 27 Aug 1992 14:30
17 lines
1348 bytes
banksd@hydra.rtp.dg.com wrote:
: The discussion of "dope vector"'s etymology reminds me -- what 
: is the origin of the obligatory "curried add" in lisp examples? 
: Have you ever encountered this sense of "curry" elsewhere?
Haskell B. Curry did quite a bit work in formal logic and lambda calculus, and
thus his name is used for the method to treat multi-parameter functions as
functions of one parameter yielding further functions.

E.g. instead of add x y = x + y  (assume "+" to be primitive here), you could
define          add x   = lambda y . x + y
and             add1    = add 1
by replacement  add1    = lambda y . 1 + y
etc.

-------------------------------------------------------------------------------
Marc Wachowitz, mw@gandalf.ki.fht-mannheim.de, 75742@novell1.rz.fht-mannheim.de
  *  wonder everyday    *    nothing in particular    *    all is special  *
Technical Details
Message-ID: <krcnr8j_@aix01.rz.fht-mannheim.de>
Path: arc1-ca.pugleaf.net!sparky!uunet!dtix!darwin.sura.net!jvnc.net!yale.edu!ira.uka.de!uni-heidelberg!fht-mannheim!frodo.ki.fht-mannheim.de!mw
References: <1992Aug26.184302.17123@dg-rtp.dg.com>

Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!dtix!darwin.sura.net!jvnc.net!yale.edu!ira.uka.de!uni-heidelberg!fht-mannheim!frodo.ki.fht-mannheim.de!mw
From: mw@ki.fht-mannheim.de (Marc Wachowitz)
Newsgroups: comp.lang.misc
Subject: Re: Origin of "curried"
Message-ID: <krcnr8j_@aix01.rz.fht-mannheim.de>
Date: 27 Aug 92 14:30:43 GMT
References: <1992Aug26.184302.17123@dg-rtp.dg.com>
Organization: Fachhochschule fuer Technik Mannheim
Lines: 17
X-Newsreader: Tin 1.1 PL4