関数型プログラミング言語Haskell Part34 (667ﾚｽ)
上下前次1-新

---

637(1): 01/09(木)23:34 ID:xwwTGWUu(3/3) AA×
>>635


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
637: [sage] 2025/01/09(木) 23:34:59.91 ID:xwwTGWUu >>635 >でもこれって、Cだろうがアセンブラだろうが、(厳密には違うかもしれませんが)同じソースコードをコンパイル(アセンブリ)すれば同じオブジェクトファイルが生成されるのと何が違うのだろうかと だから参照透明性の保証だって。オブジェクトファイルとしては状態変化とかしているけれど、元のHaskellコードとしては参照透明性は保たれている、そこがすごいということなんだし。 逆に普通のオブジェクトファイルと全く違うなんてことありうると思う？同じコンピュータ上で動くんだからオブジェクトファイルとしては変わらんだろ。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/637
でもこれってだろうがアセンブラだろうが厳密には違うかもしれませんが同じソースコードをコンパイルアセンブリすれば同じオブジェクトファイルが生成されるのと何が違うのだろうかと だから参照透明性の保証だってオブジェクトファイルとしては状態変化とかしているけれど元のコードとしては参照透明性は保たれているそこがすごいということなんだし 逆に普通のオブジェクトファイルと全く違うなんてことありうると思う？同じコンピュータ上で動くんだからオブジェクトファイルとしては変わらんだろ

---

上下前次1-新書関写板覧索設栞歴

---

あと 30 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.025s