テーブルじゃない例外処理の実装というのは、単に普通の戻り番地の他に「例外が起きた場合の戻り番地」を受け渡ししているだけっす。tryが少し遅くなるけどraiseは激速い、ということになっています。http://www.kb.ecei.tohoku.ac.jp/~sumii/pub/cps.pdfの…

いきなりマヌーなバグが。報告サンクス。そういえばStandard MLの例外処理はhandleだったので、withは「Caml Lightの頃から」というべきだったかも。やっぱり慌てて書くと良くないですね、とか人ごとのように言う。いずれにせよMLの例外処理がJavaやC++の例…