这个函数是如何工作的:康斯特康斯特(否定1) (否定2) 3

Question

我正在学习Haskell自动取款机，现在我找到了这个功能

const const (negate 1) (negate 2) 3

此函数的结果是-2.我不明白为什么结果不是-2。

const :: a -> b -> a
negate :: Num a => a -> a

所以我想我也可以这样设置括号: const (const (负1) (否定式2)) 3，但现在我得到-1作为结果。

我的错在哪里？我不明白，这是怎么回事。

Answer 1

Haskell解析规则非常简单。如果忽略infix运算符(+、&&等)，只有一条规则：

a b c d e被解析为(((a b) c) d) e。

从来没有像你想象的那样，像a (b c d) e一样。(很少有这样的结果，可能是出于巧合，但通常情况下，类型检查器甚至没有意义。)

所以在你的例子中，你必须把它读成

( ( (const const) (negate 1) ) (negate 2) ) 3

其中const const简单地忽略了(negate 1)，而是生成了const。它选择(negate 2)作为其const值，然后忽略3。

Answer 2

括号需要设置如下：

(((const const) (negate 1)) (negate 2)) 3

现在，(const const)是a -> b -> c -> b类型的，应该清楚为什么结果是-2。