This gives the expressiveness of duck-typing with the safety of static type-checking.
这既给予了动态类型的表达能力又保留了静态类型检查的安全。
By using a cast, the programmer turns off or dampens normal type-checking (Section 2.3, p. 44).
强制类型转换关闭或挂起了正常的类型检查(第2.3节)。
The compiler's type-checking rules coupled with the API's signature govern what constitutes legitimate input.
编译器的类型检查规则与API签名结合确定什么是合法输入。
If you want a language with static type-checking, you really need to design it in from the start: it drastically affects the design of the language.
如果想要具有静态类型检查的语言，那么的确需要从一开始就把它设计到语言中：它极大地影响着语言的设计。
Echoing at a discussion on dynamic vs. static languages, Debasish Ghosh raises the issue of using dynamic type-checking while programming with static languages.
DebasishGhosh对一场动态VS .静态语言的讨论做出了回应，提出了用静态语言编程时动态类型检查的使用问题。
Guideline 1 can be ensured by type checking and throwing an error message if there is any static storage declaration in the function.
准则1可以通过类型检查得到保证，如果在函数中有任何静态存储声明，则抛出错误消息。
He is also concerned with the verification of security protocols through semantic formalisms and type checking.
他关注的领域还有通过语义形式和类型检查对安全性协议进行验证。
With PHP V5, however, you can build object type checking right into the class or method declaration.
但是，如果使用PHPV5 的话，可以将对象类型检查构建到类或方法声明中。
Additional data type checking code is not necessary.
额外的数据类型检查代码是不必要的。
First of all, the bounds give us added static type checking.
首先，范围使我们增加了静态类型检查功能。
You now have the choice, at assembly time, to override the usual type checking and create a wire between a property and an action of different types.
在组装时就需要进行选择，是覆盖常用类型检查，还是在不同类型的属性和行为之间创建连接。
It's clear that type checking isn't enough to prove that your code is correct.
很明显，类型检查并不足以证明代码的正确性。
After all, the whole point of static type checking is to prevent exactly that sort of exception.
毕竟静态类型检查主要是严格防止那种异常。
Step 3: Checking type of production items.
步骤3：检查生产产品的类型。
You could fall back on type checking inside the add method, but that is not elegant and inflexible.
您可以依赖add方法内部的类型检查，但这并不优雅而且不固定。
The second thing I want to highlight is, that what's going on, is that Python is doing some type checking.
我想强调的第二件事情是，这里发生的是，是Python做了一些类型检查的工作。
Debasish Ghosh advocates for using this kind of solutions rather than trying to achieve dynamic type checking.
DebasishGhosh提倡使用这种解决方法，而不是试图实现动态类型检查。
Although largely superseded by the ability in Lotus Notes 8.0.2 to ignore strong type checking, it can be handy if you need to support earlier versions of Lotus Notes.
虽然该组件在很大程度上被LotusNotes8.0.2中忽略强类型检查的功能取代，但是如果需要支持较早版本的Lotus Notes，那么这个组件比较方便。
The instanceof function provides a good way of checking type, but you can also roll object type checking into the method signature itself by using type hints in the argument list.
虽然 instanceof功能提供了一种检查类型的好方法，但您还可以通过在参数列表中使用类型提示，来将对象类型检查滚动到方法签名自身中。
The compiler can then enforce type checking based on the declared type of the attribute named age.
然后，编译器可以根据age属性声明的类型实施类型检查。
Its primary purpose is to produce LINQ-compatible object models from XSD files, giving developers some measure of static type checking while accessing XML data.
它的主要目标是从xsd文件中生成兼容LINQ的对象模型，让开发人员在访问XML数据的时候可以进行一定的静态类型检查。
For the trouble, you get rock-solid performance, compile-time type checking, and a very high-level language.
虽然付出了这一点成本，但可以得到非常好的性能，编译时类型检查，以及一个非常高级的语言。
Of course, you also give up the safety net of the compile-time type checking.
当然，还会失去编译时检查的安全保障。
Static type checking will prevent non-Strings from being passed to this method.
静态类型检查会防止把非string对象传递给这个方法。
Another enhancement in version 8.0.1 is the ability to relax the type checking by wiring components together using the "Disable strict type checking" button in the wiring view.
版本的另一个改进是，使用连接视图中的“Disablestricttype checking”按钮能够将组件连接在一起，从而减轻输入检查的负担。
When using enums, it is recommended to use the new fixed underlying type specification because it has stronger type checking and code completion.
当使用枚举时，建议使用新的固定的基本类型规范，因为它具有更强的类型检查和代码完成。
With type erasure, generic types are used for type checking only; afterwards, they are replaced with their upper bound.
使用类型消除(type erasure)，泛型类型仅用于类型检查；然后，用它们的上界替换它们。
Character type checking: If special character is not allowed then give some special character, negative values and make sure proper error message has been thrown by the system.
字符类型检查：如果不允许特殊字符，那么就用一些特殊字符、负数并确保系统提示正确的出错信息。
A template can be thought of as a macro with type checking.
模板可以被看作是有类型检查功能的宏。
He would have liked stronger static type checking of template arguments.
他本来想要更强的模板参数的静态类型检验。
应用推荐