((f a) b)是否与Haskell中的(f A b)相同？

在Haskell中，表达式(f a b)和((f a) b)在语义上是等价的，但它们的书写风格有所不同。让我们分别解释这两种形式：

(f a b)

这是Haskell中最常见的函数应用形式。它表示将函数f应用于两个参数a和b。Haskell使用 currying 来处理多参数函数，这意味着多参数函数实际上被转换成了高阶函数，即接受一个参数并返回另一个函数的函数。因此，(f a b)首先将f应用于a，得到一个新的函数，然后将这个新函数应用于b。

((f a) b)

这种形式在Haskell中也是有效的，但它显式地展示了currying的过程。首先，f a被求值，得到一个新的函数，这个函数随后被应用于b。这与(f a b)的计算过程是相同的，但是写法上更加繁琐。

示例

假设我们有一个函数add，它接受两个整数并返回它们的和：

add :: Int -> Int -> Int
add x y = x + y

使用(f a b)形式调用add函数：

result1 = add 3 5 -- 结果是8

使用((f a) b)形式调用add函数：

result2 = ((add 3) 5) -- 结果也是8

在这两种情况下，result1和result2都将得到相同的值8。

结论

在Haskell中，(f a b)和((f a) b)在功能上是相同的，它们都表示将函数f应用于参数a和b。选择哪种形式主要取决于个人偏好和代码的可读性。通常，(f a b)这种更简洁的形式更为常见。