>>618
C言語と同じで、いわゆるGCというものは実装していないそうな。
ただ、そのままではゾンビ領域（いわゆるメモリリーク）ができてしまうので、
確保された領域へのポインタの持ち主（となる変数）が１つだけになるようにした。

ポインタが代入されると、領域の所有権も代入された側に移る・・所有権を
失った側のポインタを使おうとするとエラーになる。

これで、変数の消滅とともに領域を自動的に開放できるので、プログラマが
わざわざメモリ解放したり、GCで管理させる必要がなくなった。

というカラクリみたいね。