From: David Kastrup <dak@gnu.org>
Cc: emacs-devel@gnu.org
Subject: Re: "Misunderstanding of the lambda calculus"
Date: Sun, 29 Jan 2006 19:32:23 +0100 [thread overview]
Message-ID: <857j8i51hk.fsf@lola.goethe.zz> (raw)
In-Reply-To: <200601291251.32808.jyavner@member.fsf.org> (Jonathan Yavner's message of "Sun, 29 Jan 2006 12:51:29 -0500")
Jonathan Yavner <jyavner@member.fsf.org> 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
next prev parent reply other threads:[~2006-01-29 18:32 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <E1F3FdP-0002xe-OW@monty-python.gnu.org>
2006-01-29 17:51 ` "Misunderstanding of the lambda calculus" Jonathan Yavner
2006-01-29 18:32 ` David Kastrup [this message]
2006-01-30 18:46 ` Richard M. Stallman
2006-01-30 19:28 ` David Kastrup
2006-01-31 18:03 ` Richard M. Stallman
2006-01-31 19:47 ` Kevin Rodgers
2006-01-31 20:09 ` Stefan Monnier
2006-02-01 19:38 ` Richard M. Stallman
2006-01-31 21:57 ` David Kastrup
2006-02-01 8:12 ` Alan Mackenzie
2006-02-01 8:52 ` David Kastrup
2006-02-01 10:40 ` Miles Bader
2006-02-01 15:01 ` Jonathan Yavner
2006-02-01 19:39 ` Richard M. Stallman
2006-01-29 5:42 Chong Yidong
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://www.gnu.org/software/emacs/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=857j8i51hk.fsf@lola.goethe.zz \
--to=dak@gnu.org \
--cc=emacs-devel@gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/emacs.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).