BoatHaskell is statically typed.
haskell是静态类型的。
Note that this is statically typed.
注意，这是静态输入的。
Statically typed languages enforce typing at compile time.
静态类型语言在编译时实施类型。
The expression evaluator can evaluate variables that are statically typed as dynamic.
表达式计算器可以计算作为动态而静态键入的变量。
While C# remains a statically typed language, we aim to vastly improve the interaction with such objects.
尽管C#依然是静态类型语言，但我们的目的是改善它与这些对象的交互。
Haskell is statically typed, so once you assign a variable to a value, the variable always holds the same type.
Haskell是静态类型化的，所以一旦给变量分配了值，那么变量就会一直维持相同的类型。
Scala is statically typed which allows it to provide generic classes, inner classes and even polymorphic methods.
Scala是静态类型的，这就允许它提供泛型类、内部类、甚至多态方法（Polymorphic Method）。
Of the set of newer JVM languages, Scala is one of the few that is statically typed and it is the best known among them.
在最新的基于JVM 的语言中，Scala是为数不多的静态类型语言，而且是最出名的一个。
As we described in the previous section, a statically typed language binds the type to a variable for the lifetime of that variable.
正如我们在前面的章节所描述的，一个静态类型的语言在一个变量的生命周期内都会绑定一个类型。
Statically typed languages are usually, but not exclusively, type explicit; dynamically typed languages are almost always type-inferred.
静态类型语言通常是显式类型的，但也不完全是；而动态类型语言几乎都是隐式类型的。
Statically typed languages can have strong or weak typing; dynamically typed systems are usually, though not exclusively, strongly typed.
静态类型的语言既可以有强类型，也可以有弱类型；而动态类型系统通常是强类型的，但也不完全是。
This strategy allows powerful code refactoring tools, which are much more difficult to achieve using the same methods for statically typed languages.
这一策略允许使用强大的代码重构工具，而使用静态类型语言的同样方法来实现此功能则困难得多。
This is annoying in any language, but especially problematic for statically typed languages where one wants to map those unnamed types to actual classes.
无论在何种语言中这都是非常恼人的问题，但对于静态类型语言来说更是如此，因为开发者需要将这些无名类型映射到实际的类上。
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.
该VisualStudio插件努力为Boo提供一流的IDE支持，Boo是一个相对新的。NET语言，它是静态类型的，其灵感来源于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.
在静态类型的OOP语言中，您必须将刚好与当前讨论的python库中找到的数量相同的定制有效性构建到库中。
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.
Scala是静态类型的：scala配备了一套富有表现力的类型系统，该抽象概念以一种安全的和一致的方式被使用。
The concept of Design by Contract allows you to define some constraints and invariants of your class. Statically typed languages have a primitive version of this.
契约设计这样的概念允许我们在类中定义一些约束和限制。
Static in principle, dynamic when required: the mobl language is statically typed, enabling IDE features such as error highlighting, reference resolving and code completion.
原则上是静态的，在需要的时候可以是动态的：mobl语言是静态类型的语言，支持像错误突出显示、引用解析和代码自动完成等IDE特性。
The low barrier of entry leads some people to call it a script kiddie language, others scoff at the concept of a dynamic language while riding their statically typed high horse.
它的低学习门槛让很多人都称它为学前脚本语言，它另外一个让人嘲笑的东西是动态语言的概念是偏偏使用了高标准的静态数据类型。
The approach is appropriate for declared type systems and has existed since RPCs, and we find it commonly in modern statically typed languages, namely the ‘interface’ construct.
这种方法适合声明类型系统并自从RPC时代就存在，而且我们发现它在现代静态类型语言中非常普遍，即‘接口（interface）’结构。
This extension is being designed to enable interoperability between dynamic languages in the same manner that the CLR enabled interoperability between statically typed languages.
设计该扩展的原因是为了保证动态语言之间的互操作性，能和原有CLR支持的静态类型语言间的互操作性一致。
Just like their friends who program in statically typed languages, programmers of Python and in other dynamic languages often use relational databases as a back-end data store.
正如采用静态类型化的语言进行编程的朋友们一样，Python和其他动态语言的程序员通常使用关系数据库作为后端数据存储区。
Unfortunately, CIL is statically typed and as I alluded to in my introduction, this is where the DLR comes in to enable interoperability between the CLR and dynamic languages such as Ruby.
不幸的是，CIL是静态类型语言，不过，正如我之前在介绍中提及的那样，这就是DLR如何能够提供CLR和例如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.
然而，最新的API需要调用静态类型的方法，这与Ruby的动态特性背道而驰，因此在Ruby中从头开始开发数据绑定支持可能会更简单。
This often leads fans of dynamically typed languages to accuse statically typed languages of always being too low-level to be productive languages for applications — but that's a narrow world view.
这又经常导致动态语言的支持者指责静态语言总是太低级，用它们来编写应用程序生产率很低——但那是一种很狭隘的观点。
Oh, well it's statically-typed as a dynamic type.
它是静态类型作为动态类型。
Oh, well it's statically-typed as a dynamic type.
它是静态类型作为动态类型。
应用推荐