Path: utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!mcsun!hp4nl!star.cs.vu.nl!xerox
From: xerox@cs.vu.nl (J. A. Durieux)
Newsgroups: comp.lang.scheme
Subject: Re: Fixing the order of evaluation. Minimizing the unexpected.
Message-ID: <9589@star.cs.vu.nl>
Date: 8 Apr 91 14:30:22 GMT
References: <9104041629.AA19876@schizo> <CARLTON.91Apr6031107@husc10.harvard.edu>
Sender: news@cs.vu.nl
Organization: Fac. Wiskunde & Informatica, VU, Amsterdam
Lines: 8

((lambda (a b) -X-)  -A-  -B-)   =   ((lambda (b a) -X-)  -B-  -A-).

Or at least it should be.

We had a real good reason to give up refential transparency, and for me
it would require an (almost) equally good reason to give up the above
property (of which I don't know the name).
							    Biep.