回忆 CPSer
CPSer 就是人称“王垠 40 行代码”,是我在 Indiana 大学(IU)的时候写的一个“自动 CPS 变换”。这种代码的本质其实就是一个编译器,而且它没有所谓 administrative redex。换言之,就是生成的代码没有多余的开销。
CPSer 本来是 Dan Friedman 给我们的一个“Brain Teaser 练习”。所谓 Brain Teaser,就是说它比较烧脑,能否做出来都无所谓。Friedman 有时候会把很难的东西换个名字,作为 Brain Teaser 练习。他还不让你去查它是什么,也许有些初生牛犊不怕虎的人能把它做出来。
结果那时候我花了一周时间,还真是独立把它写出来了。发给 Friedman,结果他都懒得看我的代码。他以为我没什么机会直接做对,所以给我一篇 30 多…