From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: William Elliot Newsgroups: gmane.emacs.help Subject: Re: Lambda calculus and it relation to LISP Date: Mon, 7 Oct 2002 02:59:39 -0700 Organization: Newsfeeds.com http://www.newsfeeds.com 80,000+ UNCENSORED Newsgroups. Sender: help-gnu-emacs-admin@gnu.org Message-ID: <20021007025544.G57236-100000@agora.rdrop.com> References: <9e8ebeb2.0210041920.2e480123@posting.google.com> <20021006050255.A63895-100000@agora.rdrop.com> <9e8ebeb2.0210062058.5c7ab267@posting.google.com> NNTP-Posting-Host: localhost.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: main.gmane.org 1033984926 29034 127.0.0.1 (7 Oct 2002 10:02:06 GMT) X-Complaints-To: usenet@main.gmane.org NNTP-Posting-Date: Mon, 7 Oct 2002 10:02:06 +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 17yUiD-0007YA-00 for ; Mon, 07 Oct 2002 12:02:05 +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 17yUhR-00005Z-00; Mon, 07 Oct 2002 06:01:17 -0400 Original-Newsgroups: gnu.emacs.help,comp.lang.lisp,sci.math,sci.logic X-X-Sender: In-Reply-To: Original-NNTP-Posting-Host: 199.26.172.34 Original-X-Trace: corp.newsgroups.com 1033983704 199.26.172.34 (7 Oct 2002 04:41:44 -0500) Original-Lines: 23 X-Comments: This message was posted through Newsfeeds.com X-Comments2: IMPORTANT: Newsfeeds.com does not condone, nor support, spam or any illegal or copyrighted postings. X-Comments3: IMPORTANT: Under NO circumstances will postings containing illegal or copyrighted material through this service be tolerated!! X-Report: Please report illegal or inappropriate use to X-Abuse-Info: Please be sure to forward a copy of ALL headers, INCLUDING the body (DO NOT SEND ATTACHMENTS) Original-Path: shelby.stanford.edu!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!l-out.nntp.be!corp.newsgroups.com!agora.rdrop.com!mars Original-Xref: shelby.stanford.edu gnu.emacs.help:105778 comp.lang.lisp:95842 sci.math:550052 sci.logic:61648 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:2324 X-Report-Spam: http://spam.gmane.org/gmane.emacs.help:2324 On 7 Oct 2002, David Kastrup wrote: > see@sig.below (Barb Knox) writes: > > For example, here is a recursive factorial function in lambda calculus in > > Lispish syntax (assuming apprioriate definitions for 'if', '<', '*', '-', > > and '1'). It takes one argument (which gets bound to 'n') and returns its > > factorial. > > > > ((lambda (f) ((lambda (Y) (f (Y Y))) (lambda (Y) (f (Y Y))))) > > (lambda (ff n) (if (< n 1) 1 (* n (ff (- n 1))))) ) > > Also wrong. This is "Lispish Syntax", actually Scheme. So we can > check it out: > > guile> ((lambda (f) ((lambda (Y) (f (Y Y))) (lambda (Y) (f (Y Y))))) (lambda (ff n) (if (< n 1) 1 (* n (ff (- n 1))))) ) What's lambda calculus expressions for -, <, if, = ? -----= Posted via Newsfeeds.Com, Uncensored Usenet News =----- http://www.newsfeeds.com - The #1 Newsgroup Service in the World! -----== Over 80,000 Newsgroups - 16 Different Servers! =-----