Subject: Re: syntactic bindings as first-class values?
From: rpw3@rigden.engr.sgi.com (Rob Warnock)
Date: 1997/08/19
Newsgroups: comp.lang.scheme
Message-ID: <5tb14t$85c@fido.asd.sgi.com>

Jeffrey B. Siegal <jbs@quiotix.com> 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

-----
Rob Warnock, 7L-551		rpw3@sgi.com   http://reality.sgi.com/rpw3/
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