08/02/18 07:19:33
>>88
最初、Guy Steele博士の１９７５年の論文に掲載されている
処理系を参考にしようとしたんだ。これは非再帰で書かれていた。
だけどこれだとbeta式なんてのがでてこてよくわからなかった。
CPUのプログラムカウンターに相当するものをScheme処理系でも
作ることができればそのカウンターと環境とを保存しておけば
call/ccをしたときの状態に復帰できるんじゃないかって考え
はじめたところ。ひげぽんさんの考察も参考にしている。
生のCPU、機械語ならレジスタとプログラムカウンターと
スタックを保存しておいて継続が呼ばれたらそれらを復元して
プログラムカウンターを継続が作られたアドレスにすればいいの
ではないかと思う。関数型の言語は抽象度が高いので簡単には
いかなさそう。