Daysこの広告は、90日以上更新していないブログに表示しています。話題の限定継続についてこれで自習。意味論とか書いてあって難しそうだけど、とりあえず自分の分かる範囲で読み進める。call/ccのsemantics。Eを評価すると1引数関数fになる。いう関数に適用される。「引数を1つとり、それを(自分自身の継続k'を無視して)call/ccの継続kに引き渡す」関数。semanticsの方がCPSで書かれているので引数の個数とかで多少違いはあるけど、だいたいこんなような感じ。3)の後に「2を足す」継続は捨てられて、「1を足す」継続に制御が渡る。次にresetのsemantics。resetは特に何もしない。Eを評価して返ってきた値を継続kに渡しているだけ。導入してMを評価する。call/ccでfに渡される関数と似た形をしている。v)の後にk'が呼ばれる点。k'はcの呼び出し時点での継続だ。