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

From: hendrik at topoi.pooq.com (hendrik at topoi.pooq.com)
Date: Mon Nov 2 13:03:35 EST 2009

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!

-- hendrik


Posted on the users mailing list.