[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Scheme-reports] Fwd: ratification vote for R7RS-small



I am forwarding the following message at the request of Gerry Sussman, who experienced difficulty in sending directly to the list himself.  -Jonathan

Begin forwarded message:

>    Date: Mon, 6 May 2013 10:20:48 -0400
>    From: Gerald Jay Sussman <gjs@x>
>    To: scheme-reports@x
>    cc: scheme@x
>    Subject: [Scheme-reports] ratification vote for R7RS-small
> 
> 
> 
>    Full name: Gerald Jay Sussman
> 
>    Location: 32-385, The Stata Center, MIT, Cambridge, MA 02139 USA
> 
>    Affiliation: MIT
> 
>    Contact details (optional): gjs@x
> 
>    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.
> 
> 
> 


_______________________________________________
Scheme-reports mailing list
Scheme-reports@x
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports