プログラマって馬鹿が多いよね (571ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
216(1): デフォルトの名無しさん [sage] 2024/12/25(水) 21:30:02.77 ID:yW1da+j3(37/62) AAS
>>210
210(3): デフォルトの名無しさん [sage] 2024/12/25(水) 20:27:09.77 ID:YSzIfMqA(2/6) AAS
>>20「Haskellではモナドの理論を利用して副作用のある世界をラップして純粋な世界との辻褄合わせに利用してるって話だろ」

と言ってたのが、>>109や>>173に言われてしれっも

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

とすっとぼける（笑）
だから、お前は文脈読めない糞アスペなんだよ
どこからどこまで順番にランタイムが正格評価しないといけないかラップして分かるようにする必要があるんだよ
どんな順番で遅延評価されるのか分からないはずの純粋な関数と連結しても境界は区別されないといけないんだよ
Haskell弄ってる奴なら当たり前に分かってることを平易に書いてるだけだぞ
その文章の文脈が分からない奴はそもそも何にも分かってねえだろ
なんでそんな奴が喧嘩売ってんだよ糞アホ

要するにお前はHaskellランタイムの実装技術と圏論は関係ないとかいうどうでもいい話をしつこくしてるだけなんだろう
だからソース見ろだの一次情報がどうだのとズレまくった話をしてるんだろう(ここに来てエスパー)
IOモナドが「実現」してるのは「正しい表現」であって実行じゃないの
みんなそんなことは分かってるの
分かってないのはお前の脳内にしかいない仮想敵だけなの
分かった？
どうせ精神的キャパオーバーで現実認められないだろうけどな
221(3): デフォルトの名無しさん [sage] 2024/12/25(水) 21:40:52.94 ID:HcTA5YDL(1) AAS
>>216
>どこからどこまで順番にランタイムが正格評価しないといけないかラップして分かるようにする必要があるんだよ

（少なくともGHCの実装では）IOアクションの中身は正格評価はしていない
（だからこそ>>68
68(8): デフォルトの名無しさん [sage] 2024/12/23(月) 19:29:51.68 ID:HEAHA23Z(1) AAS
IOモナドと副作用
外部ﾘﾝｸ[html]:haskell.jp

こういう入門的なページにもきちんと書いてあるのにね。
や>>80
80(2): デフォルトの名無しさん [sage] 2024/12/23(月) 20:14:10.62 ID:fjEWOd61(1) AAS
IO型におけるRealWorldは、現実世界をラップして副作用を除去するというより、
遅延評価がデフォルトなHaskellにおいてアクションの実行順を保証する役割が大きい
でRealWorldの話が出ているのだが……）
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.044s