continuation-passing

8熱度

2回答

CPS轉換後的行政redexes究竟是什麼？

在流程和CPS轉換的背景下，我有一個小麻煩決定哪些行政redexes（lambda表達式）到底是： 所有拉姆達了由CPS轉換介紹表情 only通過CPS轉換引入的lambda表達式，但如果您通過「手動」或通過更智能的CPS轉換器進行轉換，則不會寫入 如果可能的話，一個很好的參考將是受歡迎的。

scheme continuations language-theory continuation-passing 2010-01-23

---