没有分界线,编译器和解释器被统一在了被称为 扶她映射(Futamura Projections)的大框架内。
Partial Evaluation而在讨论 Futamura Projection 之前,先要理解 偏计算(Partial Evaluation)技术。
偏计算是一种程序优化技术,其核心思想是: 如果一个程序 [公式] 的静态输入部分 [公式] 是已知的,而其余动态输入 [公式] 未知,那么我们可以通过一个称为“混合器”(mix)的特殊偏计算程序,将 [公式] 和已知的 [公式] 结合起来,生成一个新的、特化的程序 [公式]。
看看40,50年前老电视剧中的穿搭。 一部《成长的烦恼》(...
可行,且大概率已经堵不住,不得不实施了。 因为有些城市已经...
我娃卡出来的bug, 现在的孩子吧,给手机就不好好学习。 不...
你是否能够想象?在如今这个时代,南非的第一大城市约翰内斯堡,...
自荐~ 通过GitHub Actions自动爬取arxiv上...
但是之前不是说家人回应是真的吗?还有说账号是堂哥帮忙开的。 ...