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

---

474(1): 2024/10/04(金)20:44 ID:tixO3LDq(5/22) AA×
>>472>>473


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
474: [] 2024/10/04(金) 20:44:30.01 ID:tixO3LDq >>472 だからそれはわかっているって。評価途中では実際の入出力はせず指示書だか値のリストだけ作成して 参照透過性を保証して、参照透過性が要求されなくなったプログラムの最終段階でリストに従って 入出力を実行するような仕組みがあれば、参照透過性を保ったまま入出力はできるという話でしょ。 それを数学的にどう正当化するかという話を書いているんだって。 >>473 水曜日あたりからだからそんな分量ないよ。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/474
だからそれはわかっているって評価途中では実際の入出力はせず指示書だか値のリストだけ作成して 参照透過性を保証して参照透過性が要求されなくなったプログラムの最終段階でリストに従って 入出力を実行するような仕組みがあれば参照透過性を保ったまま入出力はできるという話でしょ それを数学的にどう正当化するかという話を書いているんだって 水曜日あたりからだからそんな分量ないよ

---

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

---

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

---

ぬこの手 ぬこTOP 1.193s*