[Scheme-reports] ratification vote for R7RS-small
Gerald Jay Sussman 06 May 2013 14:20 UTC
Full name: Gerald Jay Sussman
Location: 32-385, The Stata Center, MIT, Cambridge, MA 02139 USA
Affiliation: MIT
Contact details (optional): gjs@mit.edu
Statement of interest: I have been a Scheme user since Scheme was
originally conceived, by Steele and me, in an office on the 8th
floor of what was 545 Technology Square. I have written over
10000 pages of Scheme code. I have co-written two textbooks and
a monograph that use Scheme as a medium for expressing programming
ideas, the mathematics of Classical Mechanics, and Differential
Geometry. Thus, I think I am justified in believing that I am a
serious stakeholder in this enterprise!
Vote: yes
Rationale: I think that the report is a very good job, overall.
I like most of the changes from R5RS and I am not too upset that
it is longer than 50 pages! However, I am pretty upset about
the inconsistent semantics of EQ? and EQV?. I think that it is
critical that procedures should have invariant identity. More
generally, I think that ((lambda (p) (eq? p p)) ...) should be
true whatever the hell ... is.