Subject: Re: syntactic bindings as first-class values?
From: (Rob Warnock)
Date: 1997/08/19
Newsgroups: comp.lang.scheme
Message-ID: <5tb14t$>

Jeffrey B. Siegal <> wrote:
| IF can be viewed as syntactic sugar that can be macro-transformed into:
| (IF <pred> <truebranch> <falsebranch>) ->
|   (<pred> (LAMBDA () <truebranch>) (LAMBDA () <falsebranch>))
| (DEFINE #T (LAMBDA (T F) (T)))
| (DEFINE #F (LAMBDA (T F) (F)))

You've just moved the problem around, that's all.
With your formulation, how is a predicate supposed
to *calculate* which of "#T" or "#F" to apply, hmmm?


Rob Warnock, 7L-551
Silicon Graphics, Inc.		Phone: 650-933-1673 [New area code!]
2011 N. Shoreline Blvd.		FAX: 650-933-4392
Mountain View, CA  94043	PP-ASEL-IA