2013-12-01から1日間の記事一覧

継続の話

継続とは、計算途中における「次の計算」を示す手続きのことです。 Schemeでは継続は第一級オブジェクトであり、 call-with-current-continuation手続きで 継続復帰手続きをいつでも取得することができます。継続はチューリング機械の時代から常に計算と共に…