STMってのはSoftware Transactional Memoryの頭文字。 [id:bellbind:20051215:1134609968] 基本はTVar aに対し、読み書きする機能。ほぼData.IORefと同じようにnew/read/writeして使う。 対象: IORef → TVar 処理: IO → STM ただし、機能はSTM(モナド)型であ…