没有分界线,编译器和解释器被统一在了被称为 扶她映射(Futamura Projections)的大框架内。
Partial Evaluation而在讨论 Futamura Projection 之前,先要理解 偏计算(Partial Evaluation)技术。
偏计算是一种程序优化技术,其核心思想是: 如果一个程序 [公式] 的静态输入部分 [公式] 是已知的,而其余动态输入 [公式] 未知,那么我们可以通过一个称为“混合器”(mix)的特殊偏计算程序,将 [公式] 和已知的 [公式] 结合起来,生成一个新的、特化的程序 [公式]。
有什么好用的安卓本地音乐播放器推荐?…
伊朗警告以色列居民尽快撤离,称将展开真正惩罚性打击,伊朗还有哪些底牌?以伊冲突会演变为中东全面战争吗?…
DF-41已经可以打击美国本土,这是否相当于古巴导弹危机常态化?…
印度人为什么总觉得比中国强?…
备案号: 网站地图