クラスで使う Haskell の型クラス Monad クラス 例題のつづき do 記法 要約 Haskell の型クラス この章での議論は Haskell の型クラスシステムに関連しています。 Haskell の型クラスに馴染みがない向きには、先へ行く前に これで復習してください。 Monad クラス Haskell にはふたつのモナド関数 return および >>= の名前とシグネチャとを定義している標準の Monad があります。厳密にいえば、ユーザが定義したモナドを この Monad クラスのインスタンスとする必要はありません。 しかし、そうしておく方がよいでしょう。Haskell は言語中に組込まれた Monad クラスのインスタンスに対して特別なサポートをします。 ユーザが定義したモナドを Monad クラスのインスタンスとすると、 そうした機能を使って、より明解で、エレガント

会誌「情報処理」連載の「プログラム・プロムナード」（2002年4月〜2005年3月掲載）と「Haskellプログラミング」（2005年4月〜2006年3月掲載）はどなたでもご覧になれます。ファイルはすべてPDF形式です。 「Haskellプログラミング」に掲載されたプログラムは http://www.sampou.org/haskell/ipsj/ から取ることができます.