[plt-scheme] Requesting PLT Scheme JIT Information

On Apr 11, 2010, at 1:14 PM, Matthew Flatt wrote:

> 
> 
>> Does the JIT produce better code from the type-scheme dialect,
>> given the available type information, hence representation
>> information and safety guarantees on funcalls/primop calls? If
>> not is any work underway to make this happen?
> 
> I'll leave this one to Sam.


Vincent StAmour will tackle the question of how to exploit 
type information at some stage in the compilation process
starting this summer. If/when there is progress, it will be
announced here. (Exploiting type information for a HO polym
language isn't straightforward. See endless list of publications
starting with Leroy's 1992 paper.) -- Matthias