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