Subject: Re: Scheme in Dr. Dobb's
From: (Rob Warnock)
Date: 11 Nov 2000 04:41:41 GMT
Newsgroups: comp.lang.scheme,comp.lang.functional
Message-ID: <8uiim5$e86od$>
vsync  <> wrote:
| writes:
| >   Proofs are Programs
| >
| >
| I'm curious...  This article says that Lisp's lambda differs somewhat
| from the original term, and that Scheme "got lambda right".  How so?

I suspect that he's referring to lambda variables in early Lisps
being dynamically scoped, and in Scheme being lexically scoped.

But that's moot now, since Common Lisp is lexically scoped, too. [*]


[*] Well, unless you shadow an existing dynamic variable, in which
    case your "lexical" variable suddenly becomes a dynamic variable.
    This is why the CL guys are *so* careful to textually flag global
    variable names with those asterisks, since there's really no way
    in CL to declare a top-level lexical variable. [Well, except with
    some tricky symbol-macro hacks...]

Rob Warnock, 31-2-510
Network Engineering
Silicon Graphics, Inc.		Phone: 650-933-1673
1600 Amphitheatre Pkwy.		PP-ASEL-IA
Mountain View, CA  94043