モナドとはモナドである - モナドとわたしとコモナド

この記事を読む前に、絶対に理解出来ないモナドチュートリアルに一度目を通してみてほしい。モナドを理解していく上で、とても重要なことが書かれている。 改めて言おう、モナドはモナドだ。コンテナだとかプログラマブルセミコロンだという説明では、モナドのすべてを正確に表せるとは言い難い。では、モナドを過不足なく説明できる、モナド以外の言葉はあるのか？ 実は、モナドを表現し、かつモナドで表現される言葉は存在する。その一つは手続きである。手続き型言語の「手続き」だ。 手続きとは何か 手続きは結果を持つ おおよそすべての手続きは何らかの結果を持つ。Haskellの()、C言語のvoid、PythonのNone、Rubyのnilなども結果の一種だ。結果が出ないとしたら、そのプログラムは停止しないか、途中で異常終了するだろう。 手続きには最小単位が存在する 処理系が扱っている以上、手続きが際限なく分解できるとい

[takc923]

むつかしい

[kirakking]

main = putStrLn "Hello, world!" だんだん単純な文字出力が深遠な一行に見えてきた(E=mc^2のごとく)。GADT勉強しよ。

[Kureduki_Maari]

.｡oO(手続き) モナドとはモナドである - モナドとわたしとコモナド

[Dryad]

Operationalモナドをなんとなく理解した。

[gabuchan]

Haskellすごい

[igrep]

あとでじっくり読むはず。

[mr_konn]

Operational モナドを通したモナドの入門。

[solidstatesociety]

ベルトコンベアっぽいね

[khwarizmi]

擬似コードのほうが，変なポンチ絵よりは確かにわかりやすい。