[typedef_void]

How is this better than JITting?

It seems like most recent performance gains come from runtime/dynamic optimizations, not static/compile time optimizations.

[eru]

> It seems like most recent performance gains come from runtime/dynamic optimizations, not static/compile time optimizations.

Are you sure? Have you heard of stream fusion for Haskell?