Mazeppa：一款面向值调用函数式语言的现代超级编译器

Mazeppa是一款面向值调用函数式语言的全新超级编译器，它能够通过符号化地执行程序并推断运行时值的可能取值，发现程序的执行模式并将它们合成为独立的函数，从而生成更高效的代码。与之前的超级编译器不同，Mazeppa支持全套基本数据类型，允许手动控制函数展开，并且在转换过程中完全透明。文章通过多个例子展示了Mazeppa如何进行代码优化，包括消除森林砍伐、部分求值、程序特化、算法合成等，并讨论了超级编译的局限性和未来研究方向。