モナドの理解

カテゴリ理論者は1960年代に、普遍代数の特定の側面を簡潔に表現するためにモナドを発明しました。関数型プログラマは1970年代に、リストを含む特定のプログラムを簡潔に表現するためにリスト内包を発明しました。本論文では、リスト内包が任意のモナドに一般化できる方法と、その結果得られるプログラミング機能が、状態を操作したり、例外を処理したり、テキストを解析したり、継続を呼び出したりするプログラムを純粋な関数型言語で簡潔に表現できる方法を示します。また、従来の破壊的配列更新の問題に対する新しい解決策も提示されます。カテゴリー理論の知識は前提としません。