下が古い.上が新しい.間は他所

2009-01-08

「時間を追って内部状態が変化する物の同一性」というか,「内部状態も外部状態も変わるけど同一」であることを保証する方法の一つとして,某純粋関数型言語で用いられるモナドを使っちゃうという発想.より正確には,同一性を関数の参照透過性によって定義し,副作用をモナドで誤魔化すということ.こうすることで,システムの境界が世界全体の境界と一致してしまうというオートポイエシスの話をしているとよく出てくるあの発想に辿り着く.あと,たぶん歴史というのはモナドを使って実現できる処理順序そのもの.