类型检查

• If the array held subclasses of type ! 0 , the code above would fail the type check
  假如数组有类型为! 0的子类，上述代码将不能完成类型检查。
• This would allow zsi to typecheck incoming arguments before the function is called
  这样zsi就可以在函数被调用之前对传入的参数进行类型检查。
• Prefix is to avoid a type check when fetching an element from an array in generic code
  前缀旨在避免在泛型代码中从数组获取元素时执行类型检查。
• You should allow for some context - sensitive checking , such as type checking , when possible
  可能的话，应该允许进行某些与环境有关的检查，如类型检查。
• Attribute node order is enforced during serialization rather than during static type checking
  属性节点顺序是在序列化期间而非静态类型检查期间执行的。
• Property page . modify one or both of the following properties : basic runtime checks
  修改下列属性之一或两者都修改： “基本运行时检查”或“较小类型检查” 。
• Which does a simple type check without doing a comparison to another value or control
  控件也很有用，它将执行简单的类型检查，而不与另一值或控件进行比较。
• You lose static type checking although static checking is arguably of little value in a repl
  您失去了静态类型检查（尽管按理说静态检查在repl中没有多少价值） 。
• While this solution works , it requires a dynamic type check at run - time , which adds overhead
  当以上解决方案运行时，加在上面的代码要求进行一个运行时的动态类型检查。
• He is also concerned with the verification of security protocols through semantic formalisms and type checking
  他关注的领域还有通过语义形式和类型检查对安全性协议进行验证。