.net - Math.Max 上的 F# 类型推断

Question

如果编译器已经推断出输入参数的类型，为什么它不选择重载方法的正确版本。

在这个例子中，当类型已经正确推断出被比较的元素时，为什么它不能选择正确的 Math.Max 来使用:

let listMax = 
    List.map2 (fun l r -> Math.Max(l,r)) [2;4] [5;3]       //compile error 
let listMax2 = 
    List.map2 (fun (l:int) r -> Math.Max(l,r)) [2;4] [5;3] //no compile error    

当然，在这种情况下您可以只使用 max 函数，但还有许多其他方法没有原生的等效方法。

Answer 1

正如@Gos 正确指出的那样，在这种情况下使用管道运算符会有所帮助。原因是类型推断是从左到右进行的 - 因此，如果您使用管道运算符，它会知道其中一个输入是整数列表，并且基于此，它会选择 Math 的正确重载.Max.

当编译器进行重载决策时，或者当你想调用一个对象的成员时(例如，如果你想在 map 函数中执行 l.Foo() )，编译器通常需要知道类型) - 因为在这种情况下，它需要知道类型到底是什么。

F# 还定义了自己的基本数学函数版本，这些函数可以更好地与类型推断配合使用。因此，您可以将 Math.Max 替换为 max 函数(您也可以很好地将其直接传递给 map2):

List.map2 max [2;4] [5;3] 

这样效果更好，因为 F# 不需要执行重载决议(函数未重载)。它只是跟踪一个特殊的通用约束，该约束稍后会得到满足和解决。