>>606
ライフタイム分析は確かに複雑な操作じゃ無ければ参照カウントのメント操作を省略できるでしょう。
それが「最小化・局所化が期待されるらしい」と上記の"Lobster"の言うように95%削減できるかは
プログラム次第だけどw
多くの言語が現在では型推論を備えてるわけだが、これが昔からある理論だとしても多くの人が使用が
できるようになったのはつい最近。型推論を現在で動作しないと否定する人は殆どいない（嫌う人はいる
かもしれない）途中では「ただし、これは執筆時点では実装されていません。」と言っているので、まあ
革新的ではまだないだろうね、単なる目標数値なだけで。

>>605
また多くの人が現実的な問題として否定してるのは参照カウントのオーバーヘッドなんかじゃ無くてGCによる
STWやコンパクションなんかでしょう？現実問題として参照カウントのオーバーヘッドなんて気にしてる言語は
殆どないよ。例えば、RustだってRc<T>やArcによる参照カウントをプログラマ・プログラム側でやってるだけ

>>607
それとRustもGraydon Hoareの個人プロジェクトでMozillaになっただけで研究が先にあったとは言い切れない
そりゃ有名人やコンピューター工学の権威とか参加してるだろうけども