イントロダクション

Part II がカバーしているモナドは、Andy Gill の Monad Template Library を に加えて、標準の Haskell 型の混合を含みます。この Monad Template Library は Glasgow Haskell Compiler の階層ライブラリ Control.Monad 以下に含まれています。

これらのモナドについての説明のいくつかは、 Haskell Wiki からとっています。 ここでカバーされているモナドの他にも、Haskell ではいろいろなところに モナドが登場します。たとえば、パーザコンビネータモナドライブラリ Parsec などです。これらのモナドは、このリファレンスの範囲を越えていますが、 それぞれのライブラリに説明文書がついています。 example 16 の ソースコードを見れば、 Parsec ライブラリの雰囲気が味わえます。