没有分界线,编译器和解释器被统一在了被称为 扶她映射(Futamura Projections)的大框架内。
Partial Evaluation而在讨论 Futamura Projection 之前,先要理解 偏计算(Partial Evaluation)技术。
偏计算是一种程序优化技术,其核心思想是: 如果一个程序 [公式] 的静态输入部分 [公式] 是已知的,而其余动态输入 [公式] 未知,那么我们可以通过一个称为“混合器”(mix)的特殊偏计算程序,将 [公式] 和已知的 [公式] 结合起来,生成一个新的、特化的程序 [公式]。
{dede:pagebreak/}
为什么浙江落下的陨石,防空系统没有拦截,它和导弹有什么不同?
为什么 Windows 系统上的安装包有 exe 和 msi 两种格式,有什么区别?
字节大量使用新语言,包括go,rust等,为什么阿里一直都抱着j***a不松手?
巴基斯坦援助伊朗防空,大家怎么看?
怎么提高自己的系统设计和架构理论水平?
如何评价腾讯元宝桌面端使用 Rust 的 Tauri 框架?
老公每晚都想要怎么办?
女生腰细是怎样的体验?
为什么人到中年,很少有身材苗条的?
曾经的班花,现在还多少人惦记?
为什么linux桌面那么丑?
微软宣布 5 月 28 日开始下架「Microsoft 远程桌面」应用,背后原因有哪些?
中国女篮张子宇身高 2 米 26 制霸赛场,身高因素在篮球比赛中能占多大优势?她会是下一个「姚明」吗?
Linux有什么好用的防火墙软件?
做个web服务器,gin框架和go-zero怎么选?
switch2好用吗朋友们?