[plt-scheme] Re: Is R6RS useless for PLT?

From: kbohdan at mail.ru (kbohdan at mail.ru)
Date: Tue Nov 25 10:07:27 EST 2008

Sam TH wrote:
> On Tue, Nov 25, 2008 at 5:37 AM, Tom Gordon
> <thomas.gordon at fokus.fraunhofer.de> wrote:
<snip>
>> Type Scheme is a nice experimental language.  I really appreciate this
>> effort.  But I would have appreciated it even more if it had been developed
>> as an extension of R6RS.
> 
> I hope you appreciate that this is not actually possible.  Please see
> my paper with Ryan Culpepper and Matthew Flatt in the Scheme Workshop
> last year for the implementation details, very few of which can be
> done in R6RS.

I think Tom assumes corresponding extensions to R6RS core.

Standard or de facto standard for Typed Scheme would be miracle.
And such standardizing would be much easier if Typed Scheme is
based *mostly* on R6RS.


--
Bohdan



Posted on the users mailing list.