类型推断

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