A method of physical type checking for object-oriented language

• 面向对象语言自然类型检查方法