OCaml类型的加号运算符

Question

为什么加号（+）被认为是int -> int -> int而不是(int * int) -> int？对我来说，第二个是有道理的，因为它“接受”2元组（加数）并返回一个单独的int（它们的总和）。

谢谢！

Answer 1

您可以制作一种语言，其中(+)的类型为(int * int) -> int。事实上，SML正是这样工作的。它只影响中缀操作符的含义。然而，OCaml惯例强烈支持使用curried函数（类型为a -> b -> c），而不是没有问题的函数。一个不错的结果是你可以部分应用它们。例如（（+）7）是int -> int类型的有意义的表达。我觉得这个表示法经常使用。

Answer 2

这可能看起来有点无益，但这是因为该函数有两个参数。

当一个函数接受一个元组时，它实际上只接受一个参数。

因为(+)是一个内联函数，所以采用单个参数将不会有用，因为它看起来像+ (1,2)而不是1 + 2。