标签
这篇1998年的文章认为，ML和OCaml非常适合编写编译器，因为它们具有垃圾收集、尾递归优化以及带有模式匹配的代数数据类型等特性，这些特性简化了复杂编译器数据结构的处理。
本文介绍了 Elevator，一种新型二进制翻译器。它能够将完整的 x86-64 二进制文件确定性且完全静态地翻译为 AArch64 架构，无需使用启发式方法或运行时回退机制。Elevator 实现了与 QEMU 相当的性能，同时支持对翻译后的代码进行部署前验证和认证。
本文介绍了一种基于 Lambda 演算的图灵完备函数式语言的极简 7 行解释器，展示了 eval/apply 设计模式。
作者分享了为游戏模组系统构建自定义编程语言的经验，讨论了设计动机和技术挑战。这篇文章反思了在个人项目中实现一门非玩具级编程语言的可行性与复杂度。