関数型プログラミング言語Haskell Part34 (667ﾚｽ)
関数型プログラミング言語Haskell Part34 http://mevius.5ch.net/test/read.cgi/tech/1639713446/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
632: デフォルトの名無しさん [sage] 2025/01/09(木) 20:13:21.93 ID:xwwTGWUu 評価が全部終わった後じゃないと参照透明性が保証されない。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/632
633: デフォルトの名無しさん [sage] 2025/01/09(木) 20:18:47.77 ID:xwwTGWUu 規制あったはずなんだけどなんか書き込めた。 アクションの生成が完了（コンパイルの終了）。この時点ではみんな純粋。 その後に、アクションの実行（プログラムの実行）が起こって入出力が出る。 アクションの生成時点まですべての関数が純粋関数だということは参照透明性が保証されるということで、ありがたみはその一点にあると思うが。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/633
637: デフォルトの名無しさん [sage] 2025/01/09(木) 23:34:59.91 ID:xwwTGWUu >>635 >でもこれって、Cだろうがアセンブラだろうが、(厳密には違うかもしれませんが)同じソースコードをコンパイル(アセンブリ)すれば同じオブジェクトファイルが生成されるのと何が違うのだろうかと だから参照透明性の保証だって。オブジェクトファイルとしては状態変化とかしているけれど、元のHaskellコードとしては参照透明性は保たれている、そこがすごいということなんだし。 逆に普通のオブジェクトファイルと全く違うなんてことありうると思う？同じコンピュータ上で動くんだからオブジェクトファイルとしては変わらんだろ。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/637
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.031s