野に咲く名無し@転載禁止<>8059e78f<>2024/02/27 (火) 08:01:01.074 ID:0cwFvdXnV<>あれ自己関手の圏におけるモノイド対象🥺<>モナドってあるでしょ
野に咲く名無し@転載禁止<><>2024/02/27 (火) 08:04:25.058 ID:1bgulcKON<>哲学のあれかなって思ったら違った🥺<>
野に咲く名無し@転載禁止<> (主)<>2024/02/27 (火) 08:05:11.964 ID:0cwFvdXnV<> >>2
窓がないねぇ🥺<>
野に咲く名無し@転載禁止<><>2024/02/27 (火) 08:05:15.600 ID:c7zIFkeUP<>高校の時倫理でちょろっと触れたけどよー分からんかった🥺<>
野に咲く名無し@転載禁止<><>2024/02/27 (火) 08:08:24.363 ID:c1T0ojuQG<>ﾀﾞﾝﾀﾞﾝﾉｯﾃｷﾀﾖ!!<>
野に咲く名無し@転載禁止<><>2024/02/27 (火) 08:09:28.508 ID:c7zIFkeUP<>穏やかじゃないですね🥺<>
野に咲く名無し@転載禁止<><>2024/02/27 (火) 08:14:55.515 ID:34h44axCb<>Haskellきたよ🥺<>
野に咲く名無し@転載禁止<> (主)<>2024/02/27 (火) 08:18:37.792 ID:0cwFvdXnV<> >>4
高校生ってそんなむつかしいことやるんだねえ🥺<>
野に咲く名無し@転載禁止<> (主)<>2024/02/27 (火) 08:20:29.542 ID:0cwFvdXnV<> >>7
モナド則を満たさなくてもモナドになるんだねぇ🥺<>
野に咲く名無し@転載禁止<> (主)<>2024/02/27 (火) 08:22:39.833 ID:0cwFvdXnV<> >>5
これもモナドなんだねぇ🥺<>
野に咲く名無し@転載禁止<><>2024/02/27 (火) 09:00:56.141 ID:e1sD0LbOy<>最近タルタロスでよく見る<>
野に咲く名無し@転載禁止<> (主)<>2024/02/27 (火) 09:15:53.900 ID:0cwFvdXnV<> >>11
いろんなモナドがあるんだねぇ🥺<>
野に咲く名無し@転載禁止<>??<>2024/02/27 (火) 09:57:50.894 ID:7dBae6al8<>モナドって関数型プログラミングでたまに聞くけどよく知らない
なにもの？<>
野に咲く名無し@転載禁止<> (主)<>2024/02/27 (火) 10:11:28.713 ID:0cwFvdXnV<> >>13
モナド則を満たした型クラスのことだねえ🥺乱暴にいえば箱だねえ🥺<>
野に咲く名無し@転載禁止<><>2024/02/27 (火) 10:21:54.721 ID:c6DW0ypIk<>そういやそんなのあったなって今調べてるけどわけわかめだよぉ<>
野に咲く名無し@転載禁止<>??<>2024/02/27 (火) 10:24:15.734 ID:7dBae6al8<> >>14
モナド則とりあえず調べてみたけどパット見よくわかんなかった…<>
野に咲く名無し@転載禁止<><>2024/02/27 (火) 10:27:24.508 ID:5b8kIqiCO<>良かった！これで解決ですね！<>
野に咲く名無し@転載禁止<><>2024/02/27 (火) 10:37:49.013 ID:c1KBZaVLN<>ゼノブレイド？🥺<>
野に咲く名無し@転載禁止<><>2024/02/27 (火) 10:52:47.402 ID:1ezAjWm4c<>正直チョコモナカジャンボのほうが好き<>
野に咲く名無し@転載禁止<> (主)<>2024/02/27 (火) 10:54:51.168 ID:0cwFvdXnV<>抽象的な概念だからとっつきにくいよね🥺
return x >>= f = f x
モナドに関数適用できてうれしい！
m >>= return = m
値を取り出して包んでも等しい安全！
(m >>= f) >>= g = m >>= (\x -> f x >>= g)
結合してもアンシンアンゼン！
https://i.imgur.com/iHCeGVk.png<>
野に咲く名無し@転載禁止<> (主)<>2024/02/27 (火) 10:55:45.693 ID:0cwFvdXnV<> >>19
中もパリパリだねぇ🥺<>
野に咲く名無し@転載禁止<><>2024/02/27 (火) 11:10:54.922 ID:44n6N4wGu<>ライプニッツ“モナド”の考え方は今も重要視されてる
なぜ我々は顔も素性も知らない見知らぬ他人同士で繫がり合うことができるのか
全くの他人であっても例えば同じ中日ドラゴンズファンなら繋がり合うことができる猫好きなら猫好き同士繋がり合うことができる
つまり物語を共有することで他人との関係が生まれるというわけやな
モナドは相互作用することはできないが他の“もの”を媒介して結びつくことができる
かつてはその役割を神が担っていたが神無き時代において我々を繋ぎ合わせるものは何か？こういうモナド的発想が必要とされている
これがモナドや<>
野に咲く名無し@転載禁止<><>2024/02/27 (火) 11:30:38.176 ID:05vqR00Ci<>変な剣だよね<>
野に咲く名無し@転載禁止<><>2024/02/27 (火) 11:34:13.560 ID:1ar9hRjQ8<>ゼノブレイドかと思った😥<>
野に咲く名無し@転載禁止<><>2024/02/27 (火) 11:47:44.166 ID:1dTgDjMCU<>意味わかんない😡圏論？😡<>