[plt-scheme] R6RS Interoperability

On Fri, Jun 27, 2008 at 8:23 AM, Yavuz Arkun <yarkun at gmail.com> wrote:
> As a newbie, I wonder if explicit typing alone would allow for a large
> enough performance gain. I have the vague impression that Stalin for
> example, touts "whole program optimization", whatever that is, as the
> main reason for its performance.

Many of Stalin's optimisations rely on type inference.

> Or more generally, what would be the first 3 performance optimizations
> PLT people would implement, given infinite resources?

I imagine a better code generator than GNU Lightening would generate
significantly faster code.

After that I'd look at local type inference, which would allow
removing type checks and unboxing.

But first up, I'd clone Matthew.

N.