From: Chong Yidong <cyd@stupidchicken.com>
Subject: "Misunderstanding of the lambda calculus"
Date: Sun, 29 Jan 2006 00:42:16 -0500 [thread overview]
Message-ID: <87bqxva8uf.fsf@stupidchicken.com> (raw)
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:
Lisp uses a variant of lambda notation for defining functions, but
only its purely functional subset is really equivalent to lambda
calculus. Strictly speaking, this holds only for modern dialects of
Lisp, such as Common Lisp and Scheme. 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.
next reply other threads:[~2006-01-29 5:42 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-01-29 5:42 Chong Yidong [this message]
[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
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
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
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=87bqxva8uf.fsf@stupidchicken.com \
--to=cyd@stupidchicken.com \
/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 external index
https://git.savannah.gnu.org/cgit/emacs.git
https://git.savannah.gnu.org/cgit/emacs/org-mode.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.