摘要： 其實我在寫這個系列的第三篇文章的時候就已經發現，距離機器越遠，也就是抽象越高的概念，坑的數量是越少的。但是這并不是說，距離機器越近的概念就越強大或者說越接近本質。這是廣大的程序員對計算理論的一種誤解。大多數人理解編程的知識結構的時候，都是用還原論來理解的，這個方法其實并沒有錯。但問題在于，“還原”的方法并不是唯一的。很多人覺得，反正你多高級的語言編譯完了無非都是機器碼嘛。但是還有另一種解釋，你無論多低級的語言編譯完了無非也就是帶CPS變換（continuation passing style）的λ-calculus程序嘛。他們是等價的，不僅能力上也是，“本質”上也是。一個用CPS變換完整地處理 閱讀全文