尽管如此，正如类型推论所说，在很多情况下我们不需要显式指定类型。

Nevertheless, because of type inference, in many cases no types have to be explicitly specified.

youdao

证据不足以推论总碰撞，特定的伤亡碰撞类型与违规，研究所达到的减少效果可以被解释为随机造成的。

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.

youdao

证据不足以推论总碰撞，特定的伤亡碰撞类型与违规，研究所达到的减少效果可以被解释为随机造成的。

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.

youdao