[plt-scheme] R6RS Interoperability

From: Noel Welsh (noelwelsh at gmail.com)
Date: Fri Jun 27 08:02:57 EDT 2008

On Fri, Jun 27, 2008 at 7:35 AM, Mark Engelberg
<mark.engelberg at gmail.com> wrote:

>  As I
> understand it, "gradual typing" is an active area of research, and
> Typed Scheme brings new techniques to the table, in terms of providing
> soundness in interaction between modules and allowing fairly
> straightforward annotation of idiomatic Scheme code.  Since
> performance is a key goal of gradual typing, it seems like a
> reasonable litmus test to apply to Typed Scheme -- does Typed Scheme's
> approach offer the same sorts of optimization opportunities as a
> statically-typed language, or are there complications caused by its
> interoperability with dynamically-typed modules?  Seems like a
> genuine, useful research topic to me...

And indeed to me!


Posted on the users mailing list.