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

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.