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

---

434: 2024/10/02(水)23:26 ID:OPLMo7z3(7/8) AA×


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
434: [] 2024/10/02(水) 23:26:30.50 ID:OPLMo7z3 書いてないのは自明だからではなくて、研究の方向性がどう転ぶかわからないからだと思う。 表示的意味論も出た当時の文献では副作用について語ってることが多い。 現代的な本になるほどD∞モデルつくってはいおしまいで数学的にきれいなところしかやらない。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/434
書いてないのは自明だからではなくて研究の方向性がどう転ぶかわからないからだと思う 表示的意味論も出た当時の文献では副作用について語ってることが多い 現代的な本になるほどモデルつくってはいおしまいで数学的にきれいなところしかやらない

---

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

---

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

---

ぬこの手 ぬこTOP 0.014s