216(1): デフォルトの名無しさん [sage] 2024/12/25(水) 21:30:02.77 ID:yW1da+j3(37/62) AAS
>>210
だから、お前は文脈読めない糞アスペなんだよ
どこからどこまで順番にランタイムが正格評価しないといけないかラップして分かるようにする必要があるんだよ
どんな順番で遅延評価されるのか分からないはずの純粋な関数と連結しても境界は区別されないといけないんだよ
Haskell弄ってる奴なら当たり前に分かってることを平易に書いてるだけだぞ
その文章の文脈が分からない奴はそもそも何にも分かってねえだろ
なんでそんな奴が喧嘩売ってんだよ糞アホ

要するにお前はHaskellランタイムの実装技術と圏論は関係ないとかいうどうでもいい話をしつこくしてるだけなんだろう
だからソース見ろだの一次情報がどうだのとズレまくった話をしてるんだろう(ここに来てエスパー)
IOモナドが「実現」してるのは「正しい表現」であって実行じゃないの
みんなそんなことは分かってるの
分かってないのはお前の脳内にしかいない仮想敵だけなの
分かった？
どうせ精神的キャパオーバーで現実認められないだろうけどな

68(8): デフォルトの名無しさん [sage] 2024/12/23(月) 19:29:51.68 ID:HEAHA23Z(1) AAS
IOモナドと副作用
外部ﾘﾝｸ[html]:haskell.jp

こういう入門的なページにもきちんと書いてあるのにね。

80(2): デフォルトの名無しさん [sage] 2024/12/23(月) 20:14:10.62 ID:fjEWOd61(1) AAS
IO型におけるRealWorldは、現実世界をラップして副作用を除去するというより、
遅延評価がデフォルトなHaskellにおいてアクションの実行順を保証する役割が大きい