[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: "Misunderstanding of the lambda calculus"

From: David Kastrup
Subject: Re: "Misunderstanding of the lambda calculus"
Date: Sun, 29 Jan 2006 19:32:23 +0100
User-agent: Gnus/5.11 (Gnus v5.11) Emacs/22.0.50 (gnu/linux)

Jonathan Yavner <address@hidden> 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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]