This means that all program elements have a definite type at compile time, guaranteeing type safety, but that you do not have to specify the types of every value explicitly.

这意味着，所有程序元素的类型在编译时都要明确，从而确保类型安全，但您不需要显式指定每个值的类型。

youdao

This means that all program elements have a definite type at compile time, guaranteeing type safety, but that you do not have to specify the types of every value explicitly.

这意味着，所有程序元素的类型在编译时都要明确，从而确保类型安全，但您不需要显式指定每个值的类型。

youdao