プログラマって馬鹿が多いよね (571ﾚｽ)
プログラマって馬鹿が多いよね http://mevius.5ch.net/test/read.cgi/tech/1732711882/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
149: デフォルトの名無しさん [sage] 2024/12/25(水) 11:43:14.24 ID:sEjXY6o4 >>147 入出力をラップしたデータのデータ型は、入力と操作の結合に関してモナドになる モナドは入出力とは関係がない http://mevius.5ch.net/test/read.cgi/tech/1732711882/149
151: デフォルトの名無しさん [sage] 2024/12/25(水) 12:08:06.16 ID:sEjXY6o4 整数の全体ℤは加法に関して群をなす 一方、ℤは最大公約数が定義できる、素因数分解の一意性が成り立つなどの性質もあるが、それは群の性質ではない それと同じこと http://mevius.5ch.net/test/read.cgi/tech/1732711882/151
152: デフォルトの名無しさん [sage] 2024/12/25(水) 12:11:08.69 ID:sEjXY6o4 また、モナドなのはIO aという「型」であり、IO a型の具体的なオブジェクトではない http://mevius.5ch.net/test/read.cgi/tech/1732711882/152
159: デフォルトの名無しさん [sage] 2024/12/25(水) 12:38:42.87 ID:sEjXY6o4 >>157 1は群である 1は素元分解整域である 1はユークリッド整域である これは間違っているし、そもそも意味をなさない http://mevius.5ch.net/test/read.cgi/tech/1732711882/159
160: デフォルトの名無しさん [sage] 2024/12/25(水) 12:40:16.81 ID:sEjXY6o4 細かいことを指摘されていると思っているようだが、 自分が根本的にデタラメな理解をしていると自覚したほうがいい http://mevius.5ch.net/test/read.cgi/tech/1732711882/160
164: デフォルトの名無しさん [sage] 2024/12/25(水) 12:46:39.59 ID:sEjXY6o4 >>3 「モナドで副作用を実現している」というのは「群論で足し算を実現している」というくらい意味不明な言い方だ 分かっている人はこんな表現はしない http://mevius.5ch.net/test/read.cgi/tech/1732711882/164
165: デフォルトの名無しさん [sage] 2024/12/25(水) 12:49:27.85 ID:sEjXY6o4 「モナド」と「副作用」 同じ文脈に出てきた語を意味を考えずにただ並べれば相手が良いように解釈してくれると思っているアホ http://mevius.5ch.net/test/read.cgi/tech/1732711882/165
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.970s*