You can specify the type of the input variable explicitly or let the compiler infer it; in either case the variable is strongly typed at compile time.

• 可以显式指定输入变量的类型或让编译器进行推断;在任一情况下,此变量在编译时都是强类型的。