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

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

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

Duplicate definition of value 'f'

这是 F# 的限制吗？

Answer 1

让我们分析一下这两个特征:

• 不同的返回类型:

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

• 不同数量的参数:

这更不重要，在其他具有自动柯里化(Currying)功能的函数式语言中也是如此，因为它会与该功能发生冲突。仍然有一些(少数)情况下它们可能有意义，here's an example coming from 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

但我还是认为这不是个好主意。