- 集合論に基づいた言語を作りたい
165 ：1[sage]：2014/09/05(金) 19:53:29.10 ID:Y4VtbNiL - ちなみに>>159が言ってるデカいオブジェクトの一部を更新するとき
丸コピーしないレベルの最適化を実現してるコンパイラって現段階であるの？
あるんなら触ってみたい。Ocamlでなくていいから。
|
- 集合論に基づいた言語を作りたい
167 ：１[sage]：2014/09/05(金) 20:50:15.22 ID:Y4VtbNiL - 自力で実装するのか。
参照透過性を保つのはしんどそうだな。
|
- 集合論に基づいた言語を作りたい
169 ：１[sage]：2014/09/05(金) 21:38:10.90 ID:Y4VtbNiL - >>168
よくわからんが論理的にそういうこともできるって話ならあんまりありがたみがないなあ。
実装がどれだけ楽かってのは俺にとって重要な話だ。
やっぱりそこはコンパイラに頑張ってほしいね。
|
- 集合論に基づいた言語を作りたい
171 ：１[sage]：2014/09/05(金) 22:11:28.48 ID:Y4VtbNiL - 物理的な制約ではないったって、参照透過性をノイマン型コンピュータで
効率よく実装できないんならそれは物理的な制約みたいなもんでしょ。
丸コピーに勝る最適化が実装されないと、信用できないなぁ。
|