From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: David Kastrup Newsgroups: gmane.emacs.devel Subject: Re: "Misunderstanding of the lambda calculus" Date: Sun, 29 Jan 2006 19:32:23 +0100 Message-ID: <857j8i51hk.fsf@lola.goethe.zz> References: <200601291251.32808.jyavner@member.fsf.org> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: sea.gmane.org 1138559963 2831 80.91.229.2 (29 Jan 2006 18:39:23 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Sun, 29 Jan 2006 18:39:23 +0000 (UTC) Cc: emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Sun Jan 29 19:39:21 2006 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by ciao.gmane.org with esmtp (Exim 4.43) id 1F3HSF-0006d1-B9 for ged-emacs-devel@m.gmane.org; Sun, 29 Jan 2006 19:39:15 +0100 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1F3HUR-0007w7-Hg for ged-emacs-devel@m.gmane.org; Sun, 29 Jan 2006 13:41:31 -0500 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1F3HOc-0004hu-AA for emacs-devel@gnu.org; Sun, 29 Jan 2006 13:35:30 -0500 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1F3HOa-0004gh-L9 for emacs-devel@gnu.org; Sun, 29 Jan 2006 13:35:29 -0500 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1F3HOa-0004gJ-BN for emacs-devel@gnu.org; Sun, 29 Jan 2006 13:35:28 -0500 Original-Received: from [199.232.76.164] (helo=fencepost.gnu.org) by monty-python.gnu.org with esmtp (Exim 4.52) id 1F3HMh-0007aL-Iv; Sun, 29 Jan 2006 13:33:31 -0500 Original-Received: from localhost ([127.0.0.1] helo=lola.goethe.zz) by fencepost.gnu.org with esmtp (Exim 4.34) id 1F3HKy-0007j6-0q; Sun, 29 Jan 2006 13:31:44 -0500 Original-Received: by lola.goethe.zz (Postfix, from userid 1002) id D2F671C00381; Sun, 29 Jan 2006 19:32:23 +0100 (CET) Original-To: Jonathan Yavner In-Reply-To: <200601291251.32808.jyavner@member.fsf.org> (Jonathan Yavner's message of "Sun, 29 Jan 2006 12:51:29 -0500") User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.0.50 (gnu/linux) X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.devel:49692 Archived-At: Jonathan Yavner writes: >> This may amuse some of the readers of this mailing list. While >> browsing the Wikipedia entry on lambda calculus, I saw that some wit >> had written: >> More archaic Lisps, such as Emacs Lisp, still use dynamic binding, >> and so are not based on the lambda calculus. Rather, they are >> based on the syntax of the lambda calculus, together with a >> misunderstanding of the notion of binding and substitution in the >> lambda calculus. > > Okay, I'll bite. I slapped an {{NPOV}} sticker on that section > ("failure to maintain neutral point of view"). Would anyone who > cares about such things please edit my complaint for correctness? Uh, "archaic" and "alive" is not a contradiction. -- David Kastrup, Kriemhildstr. 15, 44793 Bochum