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.
我首先简要介绍任何语言设计者在类型模型中必须考虑的一些决策，着重介绍静态类型和动态类型的一些不同的决策。
The caveats of duck typing in a static language.
在静态语言中使用duck类型的限制。
With OCaml, you pay minimal overhead for your static typing because the language is type inferred.
使用OCaml时，静态类型导致的开销很小，因为这种语言是类型推断式的。
Haskell is quite possibly the most extremely limiting language in common use: there is one way to do everything, mathematically pure functional programming. You have strong, expressive static typing.
通常情况下，Haskell可能是限制最严格的语言：一种方式可以做所有的事情，这就是数学上纯函数式语言。
Haskell is quite possibly the most extremely limiting language in common use: there is one way to do everything, mathematically pure functional programming. You have strong, expressive static typing.
通常情况下，Haskell可能是限制最严格的语言：一种方式可以做所有的事情，这就是数学上纯函数式语言。
应用推荐