类型推论 type inference ; Typability ; Inferred typing ; HindleyMilner type system 推论的 inferred ; concluded ; Deductive ; consequential 文法推论 grammatical inference ..
基于4个网页-相关网页
Many people who love static typing prefer inferred typing.
很多喜欢静态类型的人更偏爱隐式类型。
Objective Caml: OCaml, a Lisp derivative that combines static and inferred typing to deliver high performance without sacrificing productivity.
Objective Caml： OCaml是组合了静态类型和隐式类型的Lisp的衍生物，它在不牺牲生产率的情况下提供了高性能。
With OCaml, you pay minimal overhead for your static typing because the language is type inferred.
使用OCaml时，静态类型导致的开销很小，因为这种语言是类型推断式的。
应用推荐