継続

http://ja.wikipedia.org/wiki/%E7%B6%99%E7%B6%9A

何となくわかった。
問題は継続のない言語で継続を実装するにはどうしたらいいのかということかな。

• • -

Continuation Passing Styleってものをつかうらしい。
http://www.is.s.u-tokyo.ac.jp/vu/jugyo/processor/process/soft/compilerresume/coverq3/coverq3.html
OCaml版のソースで引数の個数が予想より多くて「なんだろうこのcontって引数」と思っていたのはこの継続渡しだったんだとおもう。。