Haskell Function Type声明语法不一致及报错问题咨询

问题1：第一种写法无法编译的原因 #

Haskell中默认所有函数都是柯里化的，并且「接收单个元组参数的函数」和「接收多个参数的柯里化函数」是完全不同的两种类型：

• 你写的类型声明add :: (Int, Int) -> Int表示add是仅接收1个参数的函数，这个参数是包含两个Int值的元组，返回值为Int
• 你第一种写法的add x y = x + y，相当于定义了一个接收2个参数的柯里化函数，对应的实际类型是Int -> Int -> Int（等价于Int -> (Int -> Int)：接收第一个Int参数，返回一个接收第二个Int参数、返回求和结果的函数），和你声明的类型完全不匹配，因此触发编译错误。

而第二种写法add (x, y) = x + y通过模式匹配，把传入的唯一一个元组参数拆解为x和y两个值，和你声明的类型完全匹配，因此可以正常编译。

问题2：报错信息的含义 #

你看到的报错已经明确指出了核心问题，其中第二行报错：

The equation(s) for ‘add’ have two arguments, but its type ‘(Int, Int) -> Int’ has only one

翻译为中文就是：「add的等式定义包含2个参数，但它声明的类型(Int, Int) -> Int仅包含1个参数」。
你觉得难以理解，本质是因为你过往接触的多数编程语言默认不支持柯里化，往往把「传入多个参数」和「传入单个元组参数」做了语法上的等价处理，而Haskell对这两种情况做了严格的类型区分，你暂时还没适应这个差异而已。

补充说明 #

如果你更习惯add x y这种多参数的写法，只需要把类型声明改为add :: Int -> Int -> Int即可，和第一种函数定义完全匹配，调用时直接写add 1 2就能正常运行，和传元组的add (1,2)是两种不同的调用方式。

内容的提问来源于stack exchange，提问作者Pastilhas