F# 类型推断

本主题是关于 F# 编译器如何推断值、函数、变量、参数和返回值的类型。

类型推断意味着当您编写代码时，您不需要指定值或变量的类型。 F# 编译器足够强大，可以推断值的类型。省略 F# 类型信息并不意味着 F# 是一种动态类型语言。 F# 是一种强静态类型语言。这意味着编译器在代码编译期间推导出自动类型。

它使代码更具可读性，更小巧，并节省了更多编码时间。

参数和返回类型的推断

您不需要在参数列表中指定参数的类型。 编译器根据上下文推断类型。 如果未指定类型，则推断为泛型。 如果代码以不一致的方式使用一个值，以至于没有单个推断类型，编译器将报告错误。

函数的返回类型由函数中的最后一个表达式决定。

F# 参数和返回类型推断示例

输出

30

F# 自动泛化

当代码未显式指定任何类型时，编译器会考虑泛型类型。 这称为自动泛化。 它有助于编写泛型代码而不会增加复杂性。