F# 中的多态类型推断

在 F# 中，多态类型推断是由编译器自动完成的，因此你不需要显式地给出类型信息。下面是一个示例：

let inline id x = x

let inline add a b = a + b

let result1 = id 10
let result2 = add 5 5

printfn "result1: %A" result1
printfn "result2: %A" result2

在上面的代码中，我们定义了一个泛型函数 id 和一个泛型函数 add。这些函数被标记为 inline，这意味着它们可以根据传入的参数类型来进行类型推断。

在调用 id 函数时，编译器会根据传入的参数类型来推断出 id 的类型，并将 10 推断为 int 类型。类似地，编译器会根据传入的参数类型来推断 add 函数的类型，并将 5 推断为 int 类型。

运行上述代码将输出：

result1: 10
result2: 10

如你所见，我们不需要显式地给出类型信息，编译器会自动推断出正确的类型。这使得代码更简洁且易于维护。