类型推断

类型推断是编程语言中自动推导表达式数据类型的过程。与显式声明变量的类型不同，编译器或解释器可以根据赋给变量的值或其在代码中的使用方式来推断类型。这减少了对冗长类型注解的需求，使代码更加简洁和可读，同时仍然提供类型安全的好处。