Lambda the Ultimate

这几天在看Philip Wadler的名篇Monads for functional programming，三十页出头，挺享受。看着看着，不由自主的想到Scheme里面的continuation，总觉得它们两者之间本质上有某种相通之处，却因尚未深入理解所以无法言语 -- 一种奇怪的感觉。那个共通之处是什么呢？lambda，也就是函数。

Continuation用lambda封装控制流，而Monad则主要是Pure和Impure之间的桥梁，封装了side-effect。想不出什么一针见血的示例，去影院看了冰河世纪3，3D效果还行，暂时忘记monad/continuation，像周围放暑假的孩子们一样，开心的笑一把。