7 ms·
Cool. How necessary is the type system? Could you make something similar for lispy languages?
by voldacar 2y ago
Cool. How necessary is the type system? Could you make something similar for lispy languages?
- batterseapower 2y agoSupercompilation doesn't depend on having a typed language - you can more or less derive a supercompiler mechanically from any operational semantics, typed or untyped.