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

---

641(1): デフォルトの名無しさん [sage] 2025/01/10(金) 18:59:59.95 ID:X+hiLHcK(2/5) AA×


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
641: デフォルトの名無しさん [sage] 2025/01/10(金) 18:59:59.95 ID:X+hiLHcK 補足： Haskellコンパイルは少なくとも次の二つの段階を持つ １．アクションの生成（入出力指示書の生成、Haskellコードの字面のコンパイル） ２．アクションの実行 １．のアクションの生成時に参照透明性がHaskellコードとして保証されている。 アクションの生成で必要な参照行為は全て終わっているので、２．では入出力だろうが破壊的操作だろうがやっても文句を言われない。 IOの機構がすごいのは１．アクションの生成計算で参照透明性が保証されているというところがうれしいところ、だという話。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/641
補足 コンパイルは少なくとも次の二つの段階を持つ １アクションの生成入出力指示書の生成コードの字面のコンパイル ２アクションの実行 １のアクションの生成時に参照透明性がコードとして保証されている アクションの生成で必要な参照行為は全て終わっているので２では入出力だろうが破壊的操作だろうがやっても文句を言われない の機構がすごいのは１アクションの生成計算で参照透明性が保証されているというところがうれしいところだという話

---

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

---

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

---

ぬこの手 ぬこTOP 0.027s