首先，范围使我们增加了静态类型检查功能。
First of all, the bounds give us added static type checking.
毕竟静态类型检查主要是严格防止那种异常。
After all, the whole point of static type checking is to prevent exactly that sort of exception.
静态类型检查会防止把非string对象传递给这个方法。
Static type checking will prevent non-Strings from being passed to this method.
这既给予了动态类型的表达能力又保留了静态类型检查的安全。
This gives the expressiveness of duck-typing with the safety of static type-checking.
它进行静态类型检查，并且不允许强制类型转换，因而对于类型而言是安全的。
It is statically type-checked and does not allow type coercion, so is safe with regards to types.
如果想要具有静态类型检查的语言，那么的确需要从一开始就把它设计到语言中：它极大地影响着语言的设计。
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.
它的主要目标是从xsd文件中生成兼容LINQ的对象模型，让开发人员在访问XML数据的时候可以进行一定的静态类型检查。
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.
准则1可以通过类型检查得到保证，如果在函数中有任何静态存储声明，则抛出错误消息。
Guideline 1 can be ensured by type checking and throwing an error message if there is any static storage declaration in the function.
通过静态类型，编译器可以检查参数和变量的值或针对一个给定操作所允许的返回值。
With static typing, the compiler can check the values of arguments, variables, or return values against values allowed for a given operation.
有了静态检查，AspectJ 的编译器会发出警告，指出无法解析的类型名称或签名。
With static checking, AspectJ's compiler issues a warning noting that the type name or signature could not be resolved.
类型检查器应该能帮助程序员从这些类型的错误中恢复，但对于静态字段而言，类型系统实际上会使程序员更迷惑。
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.
Sitebricks模板中的表达式就像JSP那样简洁，但却通过一个类型推断算法进行静态的类型检查。
Expressions in Sitebricks templates are just as concise as JSP, but are statically type-checked using a type-inference algorithm.
DebasishGhosh对一场动态VS .静态语言的讨论做出了回应，提出了用静态语言编程时动态类型检查的使用问题。
Echoing at a discussion on dynamic vs. static languages, Debasish Ghosh raises the issue of using dynamic type-checking while programming with static languages.
不仅验证对象以保证DI依赖(通过Guice及内建的GuiceServlet)的正确性，而且还对页面中的表达式进行静态的类型检查使之符合相应的页面类。
Not only are your objects validated for di dependencies (with Guice and Guice Servlet built-in), but expressions inside pages are statically type-checked against their corresponding page classes.
在检查模式(飞镖的其他运行时)编译器慢是因为它要检查静态类型。
In checked mode (Dart's other runtime) the compiler is slower because it is going to check the static types.
生产方式实际上得到的速度增加对静态类型，因为它可以避免许多类型检查。
Production mode actually gets a speed boost by ignoring static types, because it can avoid many type checks.
生产方式实际上得到的速度增加对静态类型，因为它可以避免许多类型检查。
Production mode actually gets a speed boost by ignoring static types, because it can avoid many type checks.
应用推荐