>482
GCやるのならば型情報とオブジェクトの情報、参照元の情報がそれぞれ必要。
それぞれの情報を誰が管理するのかという話もあるけど。
(ポインタが管理するのか、GCが管理するのか、システムが管理するのか)

>497
ムリ言うなよ。所有者が始末するのが前提だろ。後始末しなくて良いわけじゃない。

>513
例外必須の言語が低水準とは思えんわ。機能も無駄にリッチすぎ。
そんなのよりかEiffelみたいな契約による設計の方が100倍マシだろ。

あと、constは制限緩すぎじゃね?効率も良くないし。
むしろClojureみたいに基本は変更不可・必要に応じて書き込みチャネルを用意した方がマシだろ。
将来的にチャネルを多機能化(トランザクション対応とか)できるし。