- 集合論に基づいた言語を作りたい
172 ：デフォルトの名無しさん[sage]：2014/09/05(金) 22:11:40.10 ID:u2C0iLEX - >>169
>>1 には初耳かもしれないけど、リストというデータ構造がある
リストの実装方法はいくつかあるけど、
世の中で関数型を名乗る言語のコンパイラのほぼすべてにおける
リストに対する構成(cons)と分解(decons)といった操作は、
大昔から「丸コピーしないレベルの最適化」が実現されている
もちろん OCaml でもリスト操作で丸コピーは発生しない
す ご い だ ろ ？
|
- 推薦図書/必読書のためのスレッド 74
14 ：デフォルトの名無しさん[sage]：2014/09/05(金) 23:31:01.65 ID:u2C0iLEX - Cの保守案件だと、未だにK&Rがザラにあったりする
(ANSI規格ですらないオリジナルのK&R)
まあそれが仕事だから淡々とこなしますけどね.... orz
|
- スレ立てるまでもない質問はここで 138匹目
208 ：デフォルトの名無しさん[sage]：2014/09/05(金) 23:34:51.42 ID:u2C0iLEX - >>206
その2つのアプリケーションが不変(immutable)オブジェクトだけで
構成されていることが確実に保証できるのなら、
マルチスレッドによる1プロセス集約化は現実的でありおかしくはない
|