てか、型安全を語りたいヤツは他所でやれ。
OOPLじゃなくても型付け言語は存在するし、
オブジェクト指向自体とは関係ない。