Also notice that the type checker can't even check that every instantiation of a mixin will result in valid super-constructor calls.
而且请注意，类型检查器甚至不能检查是否每个mixin实例化都会产生有效的超级构造函数调用。
Because a mixin's parent may be instantiated with a type parameter, there is no way for the type checker to determine all cases of accidental method overriding.
因为mixin的父类可能用类型参数被实例化，因此类型检查器就不能确定意外方法覆盖的所有情况。
Normally, the type checker ensures that these super-constructor calls will succeed by looking up the superclass and making sure that a matching super-constructor exists.
通常，通过查找超类并确保存在匹配的超级构造函数，类型检查器确保这些超级构造函数调用会成功。
This paper introduces the implementation of a Z specification type checker, meanwhile the environment of type check, unification method, substitution strategy are also discussed.
本文介绍Z规格说明类型检查器的实现方法，并对类型检查的环境、一致化方法、替换策略和类型变量的应用等问题进行讨论。
The type checker is supposed to help a programmer recover from exactly these sorts of mistakes, but in the case of static fields, the type system could actually help to confuse the programmer.
类型检查器应该能帮助程序员从这些类型的错误中恢复，但对于静态字段而言，类型系统实际上会使程序员更迷惑。
By including the size in the type, a compile-time checker can symbolically analyze the accesses to the array to ensure that no accesses are done outside the bounds of the array.
通过在该类型中包括数组大小，编译时间检测器可以象征性地分析数组的存取，确保所有存取都在数组范围内进行。
System Configuration Checker (SCC) will block Setup if the processor type requirement is not met.
如果不满足处理器类型的要求，系统配置检查器(SCC)将阻止安装程序运行。
If you remove this setting, System file Checker will no longer verify files with this file type.
如果删除该设置，系统文件检查器将不再检验该类型的文件。
If you remove this setting, System file Checker will no longer verify files with this file type.
如果删除该设置，系统文件检查器将不再检验该类型的文件。
应用推荐