haskell是静态类型的。
Xbase是静态类型的，支持泛型、闭包与类型推断。
Xbase is statically types, supports generics... and closures and type inferences.
DT1系列可与静态类型的干燥器配合使用见下图。
The DT1 series can be used in conjunction with a static type desiccator see the below drawing.
静态类型的拥护者大都会被本例所吓倒，因为本例中的错误被很好地隐匿了。
Proponents of static languages are horrified at this example, seeing the ripe potential for errors.
那么您能否在不需重新编译而且保持静态类型的前提下添加新数据类型和新操作？
Can you then add new data types and new operations without recompiling and retain static types?
正如我们在前面的章节所描述的，一个静态类型的语言在一个变量的生命周期内都会绑定一个类型。
As we described in the previous section, a statically typed language binds the type to a variable for the lifetime of that variable.
诚然，我仍然会看到静态类型的优点，尤其是在工具集方面，但是我逐渐认识到了静态类型的缺点。
Sure, I can still see the benefits of static typing, especially in my tool sets, but I'm also starting to recognize the disadvantages.
正如我们在前面的章节所描述的，一个静态类型的语言在一个变量的生命周期内都会绑定一个类型。
As we described in the previous section, astatically typed language binds the type to a variable for the lifetime of that variable.
静态类型的语言既可以有强类型，也可以有弱类型；而动态类型系统通常是强类型的，但也不完全是。
Statically typed languages can have strong or weak typing; dynamically typed systems are usually, though not exclusively, strongly typed.
Scala是静态类型的，这就允许它提供泛型类、内部类、甚至多态方法（Polymorphic Method）。
Scala is statically typed which allows it to provide generic classes, inner classes and even polymorphic methods.
Scala是静态类型的：scala配备了一套富有表现力的类型系统，该抽象概念以一种安全的和一致的方式被使用。
Scala is statically typed: Scala is equipped with an expressive type system that enforces statically that abstractions are used in a safe and coherent manner.
在静态类型的OOP语言中，您必须将刚好与当前讨论的python库中找到的数量相同的定制有效性构建到库中。
In statically typed OOP languages, you would have to build just as much custom validation into a library as that found in the currently discussed Python library.
然而，最新的API需要调用静态类型的方法，这与Ruby的动态特性背道而驰，因此在Ruby中从头开始开发数据绑定支持可能会更简单。
However, the latest API requires calling statically typed methods, which do not fit well with Ruby's dynamic nature, so it seemed simpler to develop data-binding support in Ruby from scratch.
原则上是静态的，在需要的时候可以是动态的：mobl语言是静态类型的语言，支持像错误突出显示、引用解析和代码自动完成等IDE特性。
Static in principle, dynamic when required: the mobl language is statically typed, enabling IDE features such as error highlighting, reference resolving and code completion.
该VisualStudio插件努力为Boo提供一流的IDE支持，Boo是一个相对新的。NET语言，它是静态类型的，其灵感来源于Python。
This Visual Studio add-on strives to offer first class IDE support for Boo, a relatively new.net language that while inspired by Python, is statically typed.
我喜爱静态类型提供的安全性。
产品类型层次结构是相对静态的。
The product type hierarchy is intended to be relatively static.
其他的特性还包括类不变量、非空引用类型和加强的静态分析功能。
Other features include class invariants, non-nullable reference types, and enhanced static analysis capabilities.
最近几年来，开发环境开始更好地利用编译循环和静态类型提供的信息。
In recent years, development environments began taking even more advantage of the information provided by the compile cycle and static typing.
并不是只有编译器才能利用静态类型所提供的附加信息。
The compiler isn't the only tool that can take advantage of the additional information that static typing provides.
Haskell是静态类型化的，所以一旦给变量分配了值，那么变量就会一直维持相同的类型。
Haskell is statically typed, so once you assign a variable to a value, the variable always holds the same type.
Permissions配置类可用作在特定的应用程序中使用Eaz配置权限的静态Enum类型的容器。
The Permissions configuration class functions as a container for static enum types that configure the permissions in a particular application using EAz.
使用OCaml时，静态类型导致的开销很小，因为这种语言是类型推断式的。
With OCaml, you pay minimal overhead for your static typing because the language is type inferred.
在系统内，静态结构通过显示类型和它们的实例进行传播。
Static structure is conveyed by showing the types and their instances in the system.
如果产品类型层次结构是比较静态的，包括类型元素，那么考虑固定这些类型。
If the product type hierarchy is relatively static, including the elements of the type, then consider hardening the type.
这为连接点上下文提供了静态类型化的好处。
This gives the benefit of static typing for join point context.
如果想要具有静态类型检查的语言，那么的确需要从一开始就把它设计到语言中：它极大地影响着语言的设计。
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.
我首先简要介绍任何语言设计者在类型模型中必须考虑的一些决策，着重介绍静态类型和动态类型的一些不同的决策。
I'll start with a general description of the decisions any language designer must consider within a typing model, focusing on the controversial decision of static versus dynamic typing.
虽然有许多类型的静态分析，但是根据它们提供的价值，可以分为一些常见的类别。
Although there are many types of static analysis, they can be broken into a few common categories, based on the value that they provide.
虽然有许多类型的静态分析，但是根据它们提供的价值，可以分为一些常见的类别。
Although there are many types of static analysis, they can be broken into a few common categories, based on the value that they provide.
应用推荐