home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / lang / misc / 2788 < prev    next >
Encoding:
Internet Message Format  |  1992-08-27  |  1.3 KB
  1. Path: sparky!uunet!dtix!darwin.sura.net!jvnc.net!yale.edu!ira.uka.de!uni-heidelberg!fht-mannheim!frodo.ki.fht-mannheim.de!mw
  2. From: mw@ki.fht-mannheim.de (Marc Wachowitz)
  3. Newsgroups: comp.lang.misc
  4. Subject: Re: Origin of "curried"
  5. Message-ID: <krcnr8j_@aix01.rz.fht-mannheim.de>
  6. Date: 27 Aug 92 14:30:43 GMT
  7. References: <1992Aug26.184302.17123@dg-rtp.dg.com>
  8. Organization: Fachhochschule fuer Technik Mannheim
  9. Lines: 17
  10. X-Newsreader: Tin 1.1 PL4
  11.  
  12. banksd@hydra.rtp.dg.com wrote:
  13. : The discussion of "dope vector"'s etymology reminds me -- what 
  14. : is the origin of the obligatory "curried add" in lisp examples? 
  15. : Have you ever encountered this sense of "curry" elsewhere?
  16. Haskell B. Curry did quite a bit work in formal logic and lambda calculus, and
  17. thus his name is used for the method to treat multi-parameter functions as
  18. functions of one parameter yielding further functions.
  19.  
  20. E.g. instead of add x y = x + y  (assume "+" to be primitive here), you could
  21. define          add x   = lambda y . x + y
  22. and             add1    = add 1
  23. by replacement  add1    = lambda y . 1 + y
  24. etc.
  25.  
  26. -------------------------------------------------------------------------------
  27. Marc Wachowitz, mw@gandalf.ki.fht-mannheim.de, 75742@novell1.rz.fht-mannheim.de
  28.   *  wonder everyday    *    nothing in particular    *    all is special  *
  29.