関数型プログラミング言語Haskell Part34 (667ﾚｽ)

関数型プログラミング言語Haskell Part34 http://mevius.5ch.net/test/read.cgi/tech/1639713446/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞

---

421: デフォルトの名無しさん [] 2024/10/02(水) 22:12:34.31 ID:OPLMo7z3 現実のプログラムだと式を評価する途中で発生する副作用というのは普通だけれど、 これを表示的意味論、操作的意味論で数学の世界に写そうと思うと途端に難しくなる。 数学で式の途中に文字列をディスプレイに映し出す、みたいな概念はないから。 それを整理して副作用と呼んでも差し支えない概念を提唱してHaskellに実装しているんだよ。 実際、ＩＯモナドの圏論的定式みるとこれが副作用？という表式してる。 全部後回しにしてフラッシュするというアイディアみたい。副作用をプログラムの最終局面で 実行しているから、式の評価途中の参照透明性も壊さない。なるほど、って感じ。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/421

---

ﾒﾓ帳

(0/65535文字)

---

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

---

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

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.023s