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时，静态类型导致的开销很小，因为这种语言是类型推断式的。
应用推荐