2012-04-02 トランザクション プログラム意味論 Caty トランザクションはモナドではないな。まー、モナド関係するけど。操作命令の発行過程がフラグ付きツリー状データのモナドになる。それを入れ子リストにしてさらに単なるリストにするモナド準同型がトランザクション処理。リストモナドは非可換多元環に相当して、その上の加群がストレージ。