このシリーズでは、純粋関数を使って状態を効率的に受け渡す便利な方法を紹介します。

まず、フランケンファンクター博士とモナド怪物の物語から始めます。博士は稲妻が走る時に発動する「レシピ」を作る方法を必要としていました。

次に、博士がこれらのレシピを扱うために考案した「map」「bind」「apply」などの関数について見ていきます。

最後の記事では、コンピュテーション式を使ってコーディングをより簡潔にする方法と、これらの技法を一般化して「Stateモナド」と呼ばれるものにする方法を紹介します。

警告：この記事には、ぞっとするような話題、無理のある例え、モナドに関する議論が含まれています。

• フランケンファンクター博士とモナド怪物。19世紀の科学者がStateモナドを発明しかけた話。
• モナド怪物の体を完成させる。フランケンファンクター博士とモナド怪物、パート2。
• モナド怪物のリファクタリング。フランケンファンクター博士とモナド怪物、パート3。