モナドってあるでしょ (25)

←← 掲示板一覧に戻る ← スレッド一覧に戻る

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" data-lightbox="image">https://i.imgur.com/iHCeGVk.png" loading="lazy">
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

意味わかんない😡圏論?😡