haskell - 在 `seq` 的严格版本中两次调用 `first`

Question

为什么会有两次拨打 seq在下面的代码中 ( sourced from here ) - r通过两次:

first' :: (a -> b) -> (a, c) -> (b, c)
first' f (x,y) = let { x' = f x; r = (x', y) } 
                   in x' `seq` r `seq` r

我认为打给 seq 的一个电话会做使它严格的伎俩。

Answer 1

这是某种程度的错误。 r `seq` r和 r在语义上完全相同。