News for hackers. Stuff that matters.

A comment on Mazeppa: A modern supercompiler for call-by-value functional languages.

Re:Mazeppa: A modern supercompiler for call-by-value functio... by voldacar on Sunday July 14, 2024 @09:39PM (#40964643)
Cool. How necessary is the type system? Could you make something similar for lispy languages?
[ Parent | on HN ]
Re:Mazeppa: A modern supercompiler for call-by-value functio... by batterseapower on Sunday July 14, 2024 @10:16PM (#40964779)
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.
[ Parent | on HN ]