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

CPS
副作用無しでも書ける
リスタート可
クローン可
不可逆の遷移はexplicitに指定

セッションオブジェクト
副作用無しにするにはコピーが必要
状態遷移は原則として不可逆