Pluggable Type System ● 言語とType System の相互依存性の排除 ○ 便利なType System は言語に深く依存する ○ SemanticsもType Systemに依存すると発展を阻害 ■ Cast, Overloading, Accessibility ● Modularityの向上による言語とType System の独自進化 ○ Type Systemを進化させやすい ■ 動作しているコードに型は影響しないため ● 最も自然なType System ○ 型付きラムダ計算 ■ 型が式の評価に影響を与えない