:jbz on Nostr: ⚙️ Mazeppa: A modern supercompiler for call-by-value functional languages ｢ ...

⚙️ Mazeppa: A modern supercompiler for call-by-value functional languages

｢ Supercompilation is a program transformation technique that symbolically evaluates a given program, with run-time values as unknowns. In doing so, it discovers execution patterns of the original program and synthesizes them into standalone functions; the result of supercompilation is a more efficient residual program ｣

https://github.com/mazeppa-dev/mazeppa

#Compiler #Supercompiler #ProgrammingLanguages