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