This site is a static rendering of the Trac instance that was used by R7RS-WG1 for its work on R7RS-small (PDF), which was ratified in 2013. For more information, see Home.

Ticket 522: WG1 was forbidden to remove restrictions

2013-07-07 03:20:44
WG1 - Core
2013-05-13 17:02:15

Ray Dillinger writes:

WG1 was required to produce a standard such that "any working WG1 program is also a working WG2 program" and that forbade developing a simpler semantic model of anything that WG2 is making complex. WG1 was not to simplify anything that would remain complex in WG2's dialect, nor to unrestrict anything that would remain restricted in WG2's dialect.

In other words, WG1 was expressly forbidden to "remove restrictions that make additional features seem necessary" which is IMO a clear statement that though it has much in common with earlier dialects of Scheme, the language we're working on is not, in fact, Scheme as we have up to now understood it. This relationship with the previous Scheme philosophy repeats one of the design flaws that caused so much controversy with R6, although the effect on the standard produced has not in this case been nearly as pronounced.

After several attempts, I can't understand what this complaint is about. I can only quote Charles Babbage here:

On two occasions I have been asked, — 'Pray, Mr. Babbage, if you put into the machine wrong figures, will the right answers come out?' In one case a member of the Upper, and in the other a member of the Lower, House put this question. I am not able rightly to apprehend the kind of confusion of ideas that could provoke such a question.

I can only add that the draft has in fact removed certain restrictions that etc. etc. — as a simple example, the restriction that load can only affect the interaction environment.


The WG decided by unanimous consent to take no action on this ticket.