[voldacar]

Cool. How necessary is the type system? Could you make something similar for lispy languages?

[batterseapower]

Supercompilation doesn't depend on having a typed language - you can more or less derive a supercompiler mechanically from any operational semantics, typed or untyped.