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

---

430: 2024/10/02(水)22:56 ID:OPLMo7z3(5/8) AA×


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
430: [] 2024/10/02(水) 22:56:24.21 ID:OPLMo7z3 いや。プログラム意味論の本結構探し回ったけど副作用の記述は漠然としてて 扱えないわけじゃないらしいけど、具体的な変換なんて見たことない。 ちょうど伝統的なプログラム意味論で副作用どう扱われているか調べているんだ。 なんて本に書いてありましたか？ http://mevius.5ch.net/test/read.cgi/tech/1639713446/430
いやプログラム意味論の本結構探し回ったけど副作用の記述は漠然としてて 扱えないわけじゃないらしいけど具体的な変換なんて見たことない ちょうど伝統的なプログラム意味論で副作用どう扱われているか調べているんだ なんて本に書いてありましたか？

---

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

---

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

---

ぬこの手 ぬこTOP 0.028s