>>81
おにぃさん、今、研究機関の研究テーマの流行りは、
Statelessな関数型言語(ML,Haskel,Clean,etc.)で確立した型システムの扱いを、
Javaを始めとするオブジェクト指向言語の型システム(クラス)へと適用/拡張することなんですよ。