C言語はユーザからレジスタの自由を奪う事によって成立した。今度はポインタの番だ。 目標: C言語からポインタを取り除く事: これによりヌルポインタアクセス、バッファオーバラン、リークなどの問題から一切解放される。さらに多重参照(エイリアシング)の問題から解放される。またmalloc/freeなどのメモリ管理コードが不要になる事により行数が削減される。ガベージコレクション停止はない。 注意しなければならないのは、python、rubyなどのLLやJavaでさえ、糖衣により見えにくくしただけでポインタの問題は解決できてないことだ。identity演算子、強/弱の参照の使い分け、エイリアシングによるバグ、ガベージコレクタによる停止などの形でポインタの問題はユーザを悩ませ続けている。 現在のC言語で出来る事は何でも出来る事: UNIXカーネルなども原理的には書き換え可能であること。 C言語で出来た