1樓：
CPS是一種programming的方法／格式。一般這麼做是因為和recursive相比，它需要更少的memory/stack和更少的control context儲存，尤其是在call數字很大的時候會明顯。因為當用recursive function的時候，在沒完成之前要用多少memory，存多少control context是不確定的。
一般function做的事情僅僅只是把當前evaluate的結果pass給control context。CPS是會多乙個argument，用來pass control context給function。這樣它就會知道在evaluate這一步之後下一步要做什麼。
不過每一種style，imperative/CPS/一般recursive，本身都是equivalent的。
2樓：徐迪
可以看我兩年前寫的乙個模擬核心呼叫的程式 https://
3樓：Belleve
「CPS 就是把用於經典邏輯和直覺邏輯間命題轉換的 Gdel–Gentzen 轉換，經 Curry–Howard correspondence 應用到證明過程表示的自然結果，有什麼難理解的？！」
4樓：於康
EOPL 裡有很好的解釋，看第五章Continuation-Passing Interpreters 和第六章 Continuation-passing Style。
5樓：naiveman
6樓：daVinci
認真看完這些不懂你再問
怎樣理解 Good artists copy, great artists steal 這句話？
wengmlang 突然想到日本的很多設計風格都是源於中國，但是現在日本的設計風格都超越了中國，自成一體，也沒有人認為日本是抄襲中國，這大概也是乙個偷的典範 某人 說這句話的時候他正被人指責抄襲。這句話不如這樣說 讀書人的事，怎麼能叫偷呢！竊書！竊！這裡這麼義正言辭，到老了指責別人抄襲不是也一樣跳腳...
怎樣理解 無我
碧水淡如 我們對 我 的感覺和認知，都是覺得有乙個恆定不變的主體，無論環境 感受 想法如何變，都覺得並認為這個 我 不變而恆在。無我 要勘破的，是這樣一種錯覺和誤認。 護法居士 擊彼鼓時。於其鼓中。即出如是音聲偈句。諸法空寂風和合遠離所依眾色像 於作無用誑眾生事相詐現猶如幻 和合因緣故成字如書虛空字...
怎樣理解無限？
形神邏輯 無限的定義 能夠設定任意限制並加以撤銷的就叫做無限。因為 撤銷限制 也屬於 限制 所以更簡潔地說 涵蓋了所有限制的叫無限。用哲學複式表達為 無限 置限 撤限i。符號式 i。在這裡無限是用限制來定義的，這也可見 限制 是邏輯初始概念。當然無限的定義也同時需要 範疇 概念。範疇 是初始的邏輯關...