在 F# 中，具有不同数量和返回类型的两个函数可以共享一个名称吗？

Question

在 F# 中，具有不同数量和返回类型的两个函数可以共享一个名称吗？

例如，使用 2 个参数，f返回一个int：

let f (x:int) (y:int) : int = x + y

但是使用 3 个参数，f返回一个bool：

let f (x:bool) (y:bool) (z:bool) : bool = x & y & z

似乎返回类型应该可以通过给定的参数数量推断出来，但我收到编译错误：

值 'f' 的重复定义

这是 F# 的限制吗？

Answer 1

让我们分析这两个特征：

• 不同的返回类型：

这在 F# 中并不像在其他函数式语言中那样微不足道，但它是可能的，并且在某些时候它们是有意义的。典型的例子是数学运算符，它们根据输入参数类型返回不同的类型，所以最终你拥有的是一个单一的泛型函数。这与方法重载不同，方法重载有许多共享名称的方法。

• 不同数量的参数：

这更不重要，在其他具有自动柯里化功能的函数式语言中也是如此，因为它会与该功能发生冲突。仍然有一些（少数）案例可能有意义，这里有一个来自 Haskell 的例子。

• 两者同时：

这实际上是没有意义的，重载函数背后的想法是在不同重载的输入（也可能是输出）参数的类型之间建立关系，这感觉就像一个单一的通用函数。因此，在这种情况下，它更像是 .NET 方法重载，顺便提一下，这是 F# 支持的一项功能。

最后，使用一些技巧，您可以在 F# 中编码您的示例：

let f (x:int) (y:int) : int = x + y
let g (x:bool) (y:bool) (z:bool) : bool = x & y & z

type T = T with
    static member ($) (T, x) = fun y   -> f x y
    static member ($) (T, x) = fun y z -> g x y z

let inline myFunc x y = (T $ x) y

let result1 = myFunc 3 5
let result2 = myFunc true false true

但同样，我认为这不是一个好主意。