プログラマって馬鹿が多いよね (571ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
206(1): デフォルトの名無しさん [sage] 2024/12/25(水) 20:11:36.76 ID:yW1da+j3(34/62) AAS
>>204
204(1): デフォルトの名無しさん [sage] 2024/12/25(水) 20:09:23.58 ID:yDmK1kJF(1) AAS
IO型は入出力のアクションを表現するデータ型である
IO型は型構築およびアクションの結合に対してモナド則をみたす
ゆえにIO型はモナドになる

入出力とモナドは関係が無い

ということが何度言われてもわからないらしい
モナド則を満たすってことを
IOの順番の情報を維持することに使ってることがわからないアホ
ここまで何も分かってないだけだったとは
210(3): デフォルトの名無しさん [sage] 2024/12/25(水) 20:27:09.77 ID:YSzIfMqA(2/6) AAS
>>20
20(6): デフォルトの名無しさん [sage] 2024/12/13(金) 08:03:28.99 ID:k1futVTh(1/5) AAS
>>8
あたおかかよ
Haskellではモナドの理論を利用して副作用のある世界をラップして純粋な世界との辻褄合わせに利用してるって話だろ
文脈依存の言葉が何一つ理解できない糞アスペかな？
「Haskellではモナドの理論を利用して副作用のある世界をラップして純粋な世界との辻褄合わせに利用してるって話だろ」

と言ってたのが、>>109
109(3): デフォルトの名無しさん [sage] 2024/12/24(火) 13:46:01.97 ID:H1ak+9Or(1) AAS
>>3
誤　Haskellはモナドで副作用を実現している
正　HaskellにおいてIOモナドは手続きの逐次実行を表現しており、副作用には関与していない
や>>173
173(1): デフォルトの名無しさん [sage] 2024/12/25(水) 13:50:36.78 ID:39wXzR5E(1/2) AAS
>>169
モナドは副作用とは関係ない
IOモナドが表現しているのは手続きの逐次実行
に言われてしれっも

>>206「モナド則をIOの順番の情報を維持することに使ってる」

とすっとぼける（笑）
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.148s*