Pythonのyieldは継続じゃない
Pythonのyieldで非決定計算をやろうとして、失敗した。
yieldは自分の関数のなかでの位置しか覚えていないから、バックトラックには使えない
というか、yieldが作るのはジェネレータであって、継続ではない。
try/catchが継続で実現できるのと同様に、ジェネレータも継続で実現できるけれど、ジェネレータ自体は継続じゃない。
Pythonのyieldで非決定計算をやろうとして、失敗した。
yieldは自分の関数のなかでの位置しか覚えていないから、バックトラックには使えない
というか、yieldが作るのはジェネレータであって、継続ではない。
try/catchが継続で実現できるのと同様に、ジェネレータも継続で実現できるけれど、ジェネレータ自体は継続じゃない。