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

テクノロジーカテゴリーの変更を依頼記事元:

fumieval.hatenablog.com

77 usersがブックマークコメント

コメント

9

記事へのコメント9件

注目コメント
新着コメント

takc923 むつかしい

2014/10/02 リンク

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

2013/11/14 リンク

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

2013/07/14 リンク

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

2013/06/30 リンク

gabuchan Haskellすごい

2013/06/30 リンク

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

2013/06/29 リンク

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

2013/06/29 リンク

solidstatesociety ベルトコンベアっぽいね

2013/06/29 リンク

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

プログラミング

2013/06/29 リンク

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

規約違反を報告

アプリのスクリーンショット

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

関連記事

{{ total_bookmarks_with_user_postfix }}{{ root_title }}

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

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

ブックマークしたユーザー

techtech05212023/11/07
k2k2monta2016/08/26
l-_-ll2016/04/25
joan92015/06/23
blythegirls2014/10/12
takc9232014/10/02
komlow2014/07/18
rydot2014/04/02
cohalz2014/02/01
kirakking2013/11/14
OKU_s622013/10/30
tjtjtjofthedead2013/08/29
Windymelt2013/07/23
Kureduki_Maari2013/07/14
bero20062013/07/12
nsyee2013/07/10
tanakaBox2013/07/07
nilp2013/07/02

同じサイトの新着

同じサイトの新着をもっと読む

いま人気の記事

いま人気の記事をもっと読む

いま人気の記事 - テクノロジー

いま人気の記事 - テクノロジーをもっと読む

新着記事 - テクノロジー

新着記事 - テクノロジーをもっと読む

設定を変更しましたx