[plt-scheme] Compiler optimizes Typed Scheme?!?

From: Paulo J. Matos (pocm at soton.ac.uk)
Date: Sun Feb 25 20:26:54 EST 2007

Hello all,

I've read about typed scheme which was recently (December) first
released. I'm curious about if the compiler is able to do any
optimizations given the type of the variables or if they are just run
time 'assertions' on the variables types.

If the compiler doesn't yet optimize the code given the variable
types, is PLT thinking about implementing this? I guess it would be
possible to gain something if one would just type every variable in a

Paulo Jorge Matos - pocm at soton.ac.uk
PhD Student @ ECS
University of Southampton, UK

Posted on the users mailing list.