プログラマって馬鹿が多いよね (571ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
149: デフォルトの名無しさん [sage] 2024/12/25(水) 11:43:14.24 ID:sEjXY6o4(1/7) AAS
>>147147(3): デフォルトの名無しさん [sage] 2024/12/25(水) 09:53:43.93 ID:xpHDaHf9(1) AAS
抽象化ということがわかっていない
Maybe、List、IOなどの具体的なデータ型があり、それはモナドである
モナドはIOではない
入出力をラップしたデータのデータ型は、入力と操作の結合に関してモナドになる
モナドは入出力とは関係がない
151(1): デフォルトの名無しさん [sage] 2024/12/25(水) 12:08:06.16 ID:sEjXY6o4(2/7) AAS
整数の全体ℤは加法に関して群をなす
一方、ℤは最大公約数が定義できる、素因数分解の一意性が成り立つなどの性質もあるが、それは群の性質ではない
それと同じこと
152(1): デフォルトの名無しさん [sage] 2024/12/25(水) 12:11:08.69 ID:sEjXY6o4(3/7) AAS
また、モナドなのはIO aという「型」であり、IO a型の具体的なオブジェクトではない
159(1): デフォルトの名無しさん [sage] 2024/12/25(水) 12:38:42.87 ID:sEjXY6o4(4/7) AAS
>>157157(1): デフォルトの名無しさん [sage] 2024/12/25(水) 12:31:44.41 ID:yW1da+j3(7/62) AAS
モナド型の変数であるというのを
その変数はモナドだとか言ったらアスペが発狂するらしい
自然言語で会話不可能だろ
1は群である
1は素元分解整域である
1はユークリッド整域である
これは間違っているし、そもそも意味をなさない
160(2): デフォルトの名無しさん [sage] 2024/12/25(水) 12:40:16.81 ID:sEjXY6o4(5/7) AAS
細かいことを指摘されていると思っているようだが、
自分が根本的にデタラメな理解をしていると自覚したほうがいい
164(2): デフォルトの名無しさん [sage] 2024/12/25(水) 12:46:39.59 ID:sEjXY6o4(6/7) AAS
>>33(4): デフォルトの名無しさん [sage] 2024/11/28(木) 10:39:31.29 ID:pLZ+Y0BD(1) AAS
「モナド 副作用」で検索すると、「Haskellではモナドで副作用を実現している」のような嘘八百がたくさんヒットする
「モナドで副作用を実現している」というのは「群論で足し算を実現している」というくらい意味不明な言い方だ
分かっている人はこんな表現はしない
165: デフォルトの名無しさん [sage] 2024/12/25(水) 12:49:27.85 ID:sEjXY6o4(7/7) AAS
「モナド」と「副作用」
同じ文脈に出てきた語を意味を考えずにただ並べれば相手が良いように解釈してくれると思っているアホ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.014s*