可靠类型检查

保证通过检查的程序在运行时不会出现类型所排除的错误的类型检查方式