Monad TransformerのTutorial
Monad TransformerのTutorialを発見.読みやすそうなので読んでみることに.
簡単なインタープリータを徐々にmonadicにしていくとのことで,ErrorTによるエラー処理もあるようです.
半分くらい読んだ
2.2節まで読みました.読みやすい英語で中身も面白いです.イントロに「処理系」を立ち上げて「リファレンス」を横に開いて型を見ながら読むといいみたいなことまで書いてあって,まさにTutorial.
追記:全部目を通した.んーーー・・・これは思わぬ拾い物.ReaderT/WrierT/StateT/ErrorT/IO/Identifyの使い方が具体的に順を追って書かれています.それぞれのモナドの実装には一切触れられてませんが,いろいろと示唆に富んでます.
いろいろ書き散らかした
いろいろ書き散らかしているうちに結構な分量になっているような気がします.そろそろ整理と修正・補正してブラッシュアップすべきかも.最近気がついたのですが,MonadFixの雑文が別のところからリンクされてたりします.