CPSとセッションオブジェクト

CPS
状態はimplicit(ローカル変数)
制御フローがそのまま書ける

セッションオブジェクト
状態はexplicit(オブジェクトの属性)
制御フローがぶつ切りになりがち