CPS

CPS Intutive

通过deep&coB 和deepB的不同CPS实现,说明letcc版本是直接跳出surrounding,而不管周边的其他计算。 并且可以这样认为所有的scheme lambda表达式都可以理解为kn表达式的过程(好处1),这种直观的解释方便理解 绕来绕去的过程。并且cps style尾巴的k既可以是变量也可以是函数 (好处2)。
… 阅读全文>>