>>403
inclusion polymorphismの有無

あと、OOPLでの型安全には
オブジェクトアロケーションの安全性と
メッセージ送信の安全性の２種類があると思う。