In type inference, the compiler infers the types of values based on the context.

在类型推断的情况下，编译器会根据上下文推断值的类型。