型システムの序列：

最低レベル：　assemblyやCの弱い静的型付け
ドカタ級：　Javaなどの強いが抽象能力の低い静的型付け
懐古趣味級：　伝統的LISPやSmalltalk-80のナイーブな動的型付け
オナニー級：　MLやHaskellの強く抽象能力の高い静的型付け

という順番だな。
これから実用になっていくのはJITや型推論を併用した動的型付け。