古い質問のようなものですが、それは本当に良い質問なので、お答えします。
モナドは、その実行方法を完全に制御できるコードのブロックと考えることができます。コードの各行が返すもの、実行を任意の時点で停止するかどうか、各行間で他の処理を行うかどうか。
モナドが可能にすることのいくつかの例を挙げます。私のHaskellの知識が少し不安定であるという理由だけで、これらの例はHaskellにはありませんが、Haskellがモナドの使用に影響を与えた方法のすべての例です。
パーサー
通常、ある種のパーサーを作成する場合、たとえばプログラミング言語を実装する場合は、BNF仕様を読み取り、それを解析するためにループ状のコード全体を作成するか、コンパイラコンパイラを使用する必要があります。Flex、Bison、yaccなどのようです。しかし、モナドを使用すると、Haskellで一種の「コンパイラパーサー」を作成できます。
パーサーはモナドやyaccやbisonなどの特別な目的の言語なしでは実際に実行できません。
たとえば、私はIRCプロトコルの BNF言語仕様を採用しました。
message = [ ":" prefix SPACE ] command [ params ] crlf
prefix = servername / ( nickname [ [ "!" user ] "@" host ] )
command = 1*letter / 3digit
params = *14( SPACE middle ) [ SPACE ":" trailing ]
=/ 14( SPACE middle ) [ SPACE [ ":" ] trailing ]
nospcrlfcl = %x01-09 / %x0B-0C / %x0E-1F / %x21-39 / %x3B-FF
; any octet except NUL, CR, LF, " " and ":"
middle = nospcrlfcl *( ":" / nospcrlfcl )
trailing = *( ":" / " " / nospcrlfcl )
SPACE = %x20 ; space character
crlf = %x0D %x0A ; "carriage return" "linefeed"
そして、F＃（モナドをサポートする別の言語）で約40行のコードにまでクランチしました。
type UserIdentifier = { Name : string; User: string; Host: string }
type Message = { Prefix : UserIdentifier option; Command : string; Params : string list }
let space = character (char 0x20)
let parameters =
let middle = parser {
let! c = sat <| fun c -> c <> ':' && c <> (char 0x20)
let! cs = many <| sat ((<>)(char 0x20))
return (c::cs)
}
let trailing = many item
let parameter = prefixed space ((prefixed (character ':') trailing) +++ middle)
many parameter
let command = atLeastOne letter +++ (count 3 digit)
let prefix = parser {
let! name = many <| sat (fun c -> c <> '!' && c <> '@' && c <> (char 0x20)) //this is more lenient than RFC2812 2.3.1
let! uh = parser {
let! user = maybe <| prefixed (character '!') (many <| sat (fun c -> c <> '@' && c <> (char 0x20)))
let! host = maybe <| prefixed (character '@') (many <| sat ((<>) ' '))
return (user, host)
}
let nullstr = function | Some([]) -> null | Some(s) -> charsString s | _ -> null
return { Name = charsString name; User = nullstr (fst uh); Host = nullstr (snd uh) }
}
let message = parser {
let! p = maybe (parser {
let! _ = character ':'
let! p = prefix
let! _ = space
return p
})
let! c = command
let! ps = parameters
return { Prefix = p; Command = charsString c; Params = List.map charsString ps }
}
F＃のモナド構文はHaskellのモナド構文と比較してかなり醜く、私はこれをかなり改善した可能性があります-しかし、家に帰るポイントは、構造的に、パーサーコードがBNFと同一であることです。これはモナド（またはパーサージェネレーター）なしで多くの作業を必要とするだけでなく、仕様にほとんど似ていないため、読み取りも保守もひどいものでした。
カスタムマルチタスク
通常、マルチタスクはOSの機能と見なされますが、モナドを使用すると、各命令モナドの後にプログラムが制御をスケジューラーに渡し、スケジューラーが別のモナドを選択して実行するように、独自のスケジューラーを作成できます。
一人の男が（再びF＃で）ゲームループを制御するために「タスク」モナドをUpdate()作成したため、すべての命令を各呼び出しで動作するステートマシンとして記述する代わりに、すべての命令を単一の関数であるかのように書くことができました。
つまり、次のようなことをする代わりに、
class Robot
{
enum State { Walking, Shooting, Stopped }
State state = State.Stopped;
public void Update()
{
switch(state)
{
case State.Stopped:
Walk();
state = State.Walking;
break;
case State.Walking:
if (enemyInSight)
{
Shoot();
state = State.Shooting;
}
break;
}
}
}
あなたは次のようなことをすることができます：
let robotActions = task {
while (not enemyInSight) do
Walk()
while (enemyInSight) do
Shoot()
}
LINQ to SQL
LINQ to SQLは実際にはモナドの例であり、Haskellに同様の機能を簡単に実装できます。
正確には覚えていないので詳細には触れませんが、Erik Meijerがそれをかなりよく説明しています。