[plt-scheme] More fun with typed scheme: attempt to write vector-join and a minor rant

From: Grant Rettke (grettke at acm.org)
Date: Mon Nov 2 14:17:42 EST 2009

On Mon, Nov 2, 2009 at 12:03 PM,  <hendrik at topoi.pooq.com> wrote:
> On Mon, Nov 02, 2009 at 09:07:20AM -0500, Scott McLoughlin wrote:
>> I know it's not in the list of goals stated below, but it would be
>> wicked cool
>> if typed-scheme could generate byte codes/JIT code that completely bypassed
>> now no longer necessary type checking  on functions/primitives/etc. :-)
> Yeah!  That fits my dream that Scheme should be written in
> TypedScheme, rather than the other way around!

I believe that Matthias said that this would happen once the NSF
sponsors their research on a time machine.

Posted on the users mailing list.