Haskell：（++）和（:)运算符的评估顺序

Question

我有以下Haskell表达式：

3 : [40] ++ [50] ++ 5 : [60]

我想知道如何评估这个表达式。 哪个运算符具有更高的优先级:或者++ ？ 我认为表达式的结果是[3,40,50,5,60]，但是我这样做的方式如下：

3 : [40] ++ [50] ++ 5 : [60]
3 : [40] ++ [50] ++ [5,60]
3 : [40] ++ [50,5,60]
3: [40,50,5,60]
[3,40,50,5,60]

以上是评估表达式的正确方法吗？ 任何见解都表示赞赏。

Answer 1

(++) :: [a] -> [a] -> [a]和(:) :: a -> [a] -> [a]函数都有5 优先级 ，我们可以在Haskell '10报告 ，并且是正确的关联。

我们也可以使用以下命令获取此数据:i在ghci shell中：

Prelude> :i (:)
data [] a = ... | a : [a]       -- Defined in ‘GHC.Types’
infixr 5 :
Prelude> :i (++)
(++) :: [a] -> [a] -> [a]       -- Defined in ‘GHC.Base’
infixr 5 ++

这意味着：

3 : [40] ++ [50] ++ 5 : [60]

是短的：

3 : ([40] ++ ([50] ++ (5 : [60])))

(++)运算符实现为 ：

 (++) :: [a] -> [a] -> [a] (++) [] ys = ys (++) (x:xs) ys = x : xs ++ ys 

(:)是一个数据构造函数，因此意味着它无法“进一步评估”。

这是有道理的，因为它意味着++只在这里应用于尾部，因此只要我们对头部感兴趣，我们就不需要评估该函数。 因此，右关联(++)通常比左关联(++)便宜，尽管它会产生相同的列表。

如果我们想要评估完整列表，则将其评估为：

   3 : ([40] ++ ([50] ++ (5 : [60])))
-> 3 : (40 : ([] ++ ([50] ++ (5 : [60]))))
-> 3 : (40 : ([50] ++ (5 : [60])))
-> 3 : (40 : (50 : ([] ++ (5 : [60]))))
-> 3 : (40 : (50 : (5 : [60])))

或者更详细：

   3 : ((40: []) ++ ((50 : []) ++ (5 : (60 : []))))
-> 3 : (40 : ([] ++ ((50 : []) ++ (5 : (60 : [])))))
-> 3 : (40 : ((50 : []) ++ (5 : (60 : []))))
-> 3 : (40 : (50 : ([] ++ (5 : (60 : [])))))
-> 3 : (40 : (50 : (5 : (60 : []))))