08/02/19 09:01:44
CPSももかなり興味深いのだけどcall/ccってCPSに
よらずともスタックでなんとかならないだろうか？
評価するＳ式をスタックにどんどん積み上げていく。
そうするとそれはどのように評価が連続してきたのか
の履歴になっている。call/ccが呼ばれたときに
スタックの最初の部分を取り出してきてこれと現状の環境とを
クロージャにしたらだめだろうか？
思いついだけなので実際に書いてみるとあれこれと
問題が見つかるんだろうけど。
08/02/19 09:01:44
CPSももかなり興味深いのだけどcall/ccってCPSに
よらずともスタックでなんとかならないだろうか？
評価するＳ式をスタックにどんどん積み上げていく。
そうするとそれはどのように評価が連続してきたのか
の履歴になっている。call/ccが呼ばれたときに
スタックの最初の部分を取り出してきてこれと現状の環境とを
クロージャにしたらだめだろうか？
思いついだけなので実際に書いてみるとあれこれと
問題が見つかるんだろうけど。