类型推论或隐含类型,是指编程语言中能够自动推导出值的类型的能力,它是一些强静态类型语言中出现的特性。
类型推论 type inference ; Typability ; Inferred typing ; HindleyMilner type system 推论的 inferred ; concluded ; Deductive ; consequential 文法推...
基于1个网页-相关网页
尽管如此,正如类型推论所说,在很多情况下我们不需要显式指定类型。
Nevertheless, because of type inference, in many cases no types have to be explicitly specified.
证据不足以推论总碰撞,特定的伤亡碰撞类型与违规,研究所达到的减少效果可以被解释为随机造成的。
The evidence is less conclusive on total collisions, specific casualty collision types and violations, where reductions achieved could be explained by the play of chance.
应用推荐