真のオブジェクト指向言語では、型は勿論、変数という概念すらない筈。
（勿論、関数に内部状態を持たせることは可能だろうが）
要するにJava-Scriptみたいな感じの言語（を更に煮詰めたもの）こそが
真のオブジェクト指向でJavaは結構古典的な部分を多く持っていると思う。
オブジェクト指向の技法こそ幾つか取り入れてはあるが..
.これに関してはC++も同じだし、オブジェクト志向性に関しては勿論C++のほう
が遠い。(ただし真のオブジェクト指向の立場から言えばC++とJavaの志向度の
違いなんてどんぐりの背比べみたいなもの）
JavaはK-R流のC言語による開発では規模の限界に突き当たることを察知して
その限界を突き破るべく作られたものであると言って良いと思う。
それに対してC++のほうは規模よりも複雑さの限界を何とか大きくしていこう
という発想で作られたと思える。ただ実態は言語の改良よりもハードウェア
とソフトウェアの関係を見直したりシステムのネットワーク化を進めるなど
（MSの路線）の方法が主流になっており、ほぼ同時期に生まれ一見似
ていて実は基本的な目標が極端に違うこの２つの言語はそのインパクトが
今ひとつ空振りだったという感じがする。