[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.