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

---

421: 2024/10/02(水)22:12 ID:OPLMo7z3(2/8) AA×


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

---

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

---

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

---

ぬこの手 ぬこTOP 0.074s