没有分界线,编译器和解释器被统一在了被称为 扶她映射(Futamura Projections)的大框架内。
Partial Evaluation而在讨论 Futamura Projection 之前,先要理解 偏计算(Partial Evaluation)技术。
偏计算是一种程序优化技术,其核心思想是: 如果一个程序 [公式] 的静态输入部分 [公式] 是已知的,而其余动态输入 [公式] 未知,那么我们可以通过一个称为“混合器”(mix)的特殊偏计算程序,将 [公式] 和已知的 [公式] 结合起来,生成一个新的、特化的程序 [公式]。
为什么Mac连个正儿八经的CAD都装不了还敢打着生产力的旗号?
为什么Mac连个正儿八经的CAD都装不了还敢打着生产力的旗号?...(144 )人阅读时间:2025-06-26 13:20:13
宁波东方理工大学学费每人每学年 9.6 万,为什么会这么贵?
宁波东方理工大学学费每人每学年 9.6 万,为什么会这么贵?...(144 )人阅读时间:2025-06-26 13:10:13
北京日报点名批评“苏超”过度娱乐化,它是否管的太宽了?为什么无良媒体不会被查封取缔?
北京日报点名批评“苏超”过度娱乐化,它是否管的太宽了?为什么无良媒体不会被查封取缔?...(144 )人阅读时间:2025-06-26 13:55:13
Caddy 和 Nginx 比有哪些优点和缺点?
Caddy 和 Nginx 比有哪些优点和缺点?...(144 )人阅读时间:2025-06-26 13:25:13