「最大速を出せる最大の安全性・抽象化」 静的な仕組みで安全性・高抽象度を求めることで動的なオーバーヘッドを0にしつつ上を目指す. メモリ管理は動的GCでなく静的な所有権モデル. 動的ディスパッチじゃなくてX.

要件: free memory Just Once 0回だとメモリリーク、2回以上もダメ. 1人の所有者を決めて、その人が一元管理→所有権 スコープの概念を用いてdrop場所を静的解析できる→実行前にfreeのコードを埋め込み 毎回所有権を取り回してると分岐に弱くなる→借用 所有者…

マニュアルメモリ割り当て: コーディング時 所有権/借用チェッカー: コンパイル時 GC: 実行時 mallocとfreeは必ず実行される。性能差無し. 1と2はfreeタイミングを設計可能、理想的なGCは完璧なタイミングでfreeするので時系列メモリ消費量差なし. 1と2はfre…