From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: Joona I Palaste Newsgroups: gmane.emacs.help Subject: Re: Lambda calculus and it relation to LISP Date: 6 Oct 2002 13:46:13 GMT Organization: University of Helsinki Sender: help-gnu-emacs-admin@gnu.org Message-ID: References: <9e8ebeb2.0210041920.2e480123@posting.google.com> <9oa0qu8ul4u2ni44ocunula5i5tod6lqvq@4ax.com> NNTP-Posting-Host: localhost.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Trace: main.gmane.org 1033912417 7451 127.0.0.1 (6 Oct 2002 13:53:37 GMT) X-Complaints-To: usenet@main.gmane.org NNTP-Posting-Date: Sun, 6 Oct 2002 13:53:37 +0000 (UTC) Return-path: Original-Received: from monty-python.gnu.org ([199.232.76.173]) by main.gmane.org with esmtp (Exim 3.35 #1 (Debian)) id 17yBqi-0001w3-00 for ; Sun, 06 Oct 2002 15:53:36 +0200 Original-Received: from localhost ([127.0.0.1] helo=monty-python.gnu.org) by monty-python.gnu.org with esmtp (Exim 4.10) id 17yBqI-000580-00; Sun, 06 Oct 2002 09:53:10 -0400 Original-Path: shelby.stanford.edu!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!newsfeed.icl.net!newsfeed.fjserv.net!newsfeed00.sul.t-online.de!newsfeed01.sul.t-online.de!t-online.de!newsfeed.stueberl.de!news-stob.telia.net!news-stoa.telia.net!telia.net!newsfeed.bahnhof.se!feeder1.news.jippii.net!news.cc.tut.fi!news.helsinki.fi!not-for-mail Original-Newsgroups: gnu.emacs.help,comp.lang.lisp,sci.math,sci.logic Original-Lines: 30 Original-NNTP-Posting-Host: sirppi.helsinki.fi Original-X-Trace: oravannahka.helsinki.fi 1033911973 29064 128.214.205.27 (6 Oct 2002 13:46:13 GMT) Original-X-Complaints-To: usenet@news.helsinki.fi Original-NNTP-Posting-Date: 6 Oct 2002 13:46:13 GMT User-Agent: tin/1.4.2-20000205 ("Possession") (UNIX) (OSF1/V4.0 (alpha)) Original-Xref: shelby.stanford.edu gnu.emacs.help:105765 comp.lang.lisp:95735 sci.math:549837 sci.logic:61599 Original-To: help-gnu-emacs@gnu.org Errors-To: help-gnu-emacs-admin@gnu.org X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.0.11 Precedence: bulk List-Help: List-Post: List-Subscribe: , List-Id: Users list for the GNU Emacs text editor List-Unsubscribe: , List-Archive: Xref: main.gmane.org gmane.emacs.help:2311 X-Report-Spam: http://spam.gmane.org/gmane.emacs.help:2311 Thaddeus L Olczyk scribbled the following on sci.math: > On 4 Oct 2002 20:20:49 -0700, gnuist007@hotmail.com (gnuist) wrote: >>"The lambda calculus is a mathematical formalism >>having to do with the way functions instantiate >>their arguments. To some extent it is the theoretical >>basis for Lisp and plenty of other computer languages." > To really see a PL that "implements lambda calculus" > lok at Haskel, not Lisp. Haskell, not Haskel. In Haskell the backslash \ means the lambda operator. For example it's possible to say: (\f. (f 1)) (\x. x + 1), which means: (\x. x + 1) 1, which means: 1 + 1, which means: 2 Haskell gets its name from Haskell Curry, who has also been attributed for the concept of "currying", which I'm told should really be called "schönfinkeling". -- /-- Joona Palaste (palaste@cc.helsinki.fi) ---------------------------\ | Kingpriest of "The Flying Lemon Tree" G++ FR FW+ M- #108 D+ ADA N+++| | http://www.helsinki.fi/~palaste W++ B OP+ | \----------------------------------------- Finland rules! ------------/ "To doo bee doo bee doo." - Frank Sinatra