[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