19
<<
<
>
>>
1/1
1 ななしのよっしん
2016/11/04(金) 06:39:17 ID: cebUVItVZM
2 ななしのよっしん
2016/11/06(日) 07:39:17 ID: 41Y7RjU29E
>モナドはメタファーではない
なるほど、セミコロンでつなげた式の順次評価がモナドの一種ってのは初めて聞いたわ
つまり関数型プログラミングの基本の基本である
還元して単純化する操作ってことかいな
3 ななしのよっしん
2017/06/18(日) 00:56:15 ID: Wabrv8AY1U
数学屋さんとしては「モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも?」でとりあえず定義の理解はできる、それが何を意味するのかは知らないが…
4 ななしのよっしん
2017/06/18(日) 01:11:07 ID: Wabrv8AY1U
…しかしこの記事ものっそい力作ですね… 出版したらいいんじゃないかと思うくらい
5 deadbull
2017/06/18(日) 07:12:34 ID: BByiKHKD5H
>>3
このような場末の記事までようこそお越しくださいました。
というか、未完成なのでどこからも辿れないはずなのに、新着にも上がらない状態からなぜ見つけたしww
>>4
米田の補題でaがどこに行ったのか分からなくなったり、Stateモナドでunit(x)以外のものにflatMapを適用したら、適用前のSは適用後どこに反映されるのだろうかと考えたあたりで、何が正しくて何が正しくないのか分からなくなってしまいました。
もし数学屋さんでしたらご教示いただけましたら、出版に一歩近づけるかと思います(いや、しませんけどww)。
6 ななしのよっしん
2018/08/31(金) 00:15:06 ID: M2Qx3Vc7Pz
力作ではあるが……その……あまりにも煩雑でまとまりがないのでは……
7 deadbull
2018/09/03(月) 23:08:22 ID: BByiKHKD5H
>>6
すみません。未完成なもので…
人目につかないようにしていたのに、だれかが導線を引っ張ってきたものだから…
8 deadbull
2018/10/13(土) 09:11:28 ID: BByiKHKD5H
完成してから分割をと考えてきましたが、完成の目処がたたなくなり、完成を断念しました。
仮に今後編集するとしても、長すぎて編集箇所を特定するのも困難な状態なので、分割を行おうと思います。
分割先は
モナド(プログラミング),モナド則,Identityモナド,Stateモナド,IOモナド,STモナド,定数モナド,リストモナド,Freeモナド,米田の補題,ファンクター
を予定しております。
未完成な状態で分割されるものも出てきますが、完成に向けてのご指摘は分割後に個別の記事で頂くという方向でお願いしたいと思います。
9 ななしのよっしん
2018/10/13(土) 09:38:43 ID: cebUVItVZM
期待
10 ななしのよっしん
2018/10/13(土) 12:33:10 ID: Wabrv8AY1U
期待2
11 ななしのよっしん
2018/10/13(土) 21:30:26 ID: kvMy0B48QV
12 ななしのよっしん
2018/11/17(土) 19:01:46 ID: TcvPMEemqJ
関係のない雑談だけれど、Haskellを勉強するときにファンクタ、アプリカティブの後にモナドについて学んだほうが(数学的理解じゃなくて実用面で)わかりやすかった思い出がある。
http://s
リンク先は当時わかりやすいと思った記事。
13 ななしのよっしん
2019/02/14(木) 22:24:24 ID: hY+4IGmx/N
すごい抽象化して書くと、
「値と値をつないで書いたとき、その2つをどのように処理するかを値の型によって決めるのがモナド」
……ってことでいいかな。
JavaとかC#とかにはhaskellのバインド演算子みたいな「値をつないで書く」ことを統一的に表現する概念が無いので、どうしても短く説明できない。
14 ななしのよっしん
2019/06/26(水) 13:08:00 ID: TcvPMEemqJ
モナド(数学)と同じ内容について言っているような気がするけど、モナド(プログラミング)なら公式ドキュメントにある「アクションの抽象化」とかbindのイメージとかそっちについて書かなければならないような気もする(あまり詳しくないけど数学的なモナドの定義とHaskellのモナドの活用のされ方はかなり異なるように感じられる)
15 ななしのよっしん
2020/07/08(水) 23:11:56 ID: I3GV9Ylyos
javascriptがある程度わかるなら、
30分でわかるJavaScriptプログラマのためのモナド入門
https://
がわかりやすいと思う。
16 ななしのよっしん
2022/02/18(金) 21:15:38 ID: afXoVHRbYw
>>15
著者が岡部健(要注意人物)じゃん、前半は昔よりはマトモになってる気がするけど
17 ななしのよっしん
2022/04/06(水) 23:41:28 ID: Fa1/KHL3yz
まだコーディングに苦戦しているが
箱モデルがIOモナドの説明には最も適していると思う
まあリストとかMaybeとかだとちょっとずれてくるわけだが…
18 ななしのよっしん
2022/06/13(月) 19:30:11 ID: 9BCKLmm4/3
ScalaやRustの台頭などもあり、モナドの実例(Result,Option,Vec)やその使い方はかなり有名になってきた気がする
19 ななしのよっしん
2023/03/24(金) 14:48:03 ID: eQyQaIk1J4
「モナドはRustのOptionやResultのand_then()を汎化したものです」じゃ駄目なんですか
<<
<
>
>>
1/1
ほめた!
ほめるを取消しました。
ほめるに失敗しました。
ほめるの取消しに失敗しました。