haskell - 为什么 `2 + x = 7` 是有效的 Haskell？

Question

当我尝试编译时

main = putStrLn $ show x where
    2 + x = 7

GHC 提示

error: Variable not in scope: x
  |
1 | main = putStrLn $ show x
  |                        ^

因此，2 + x = 7 本身在语法上是有效的，尽管它实际上并未定义 x。但为什么会这样呢？

Answer 1

它是有效的，因为它定义了 +。

main = print (3 + 4)
   where -- silly redefinition of `+` follows
   0 + y = y
   x + y = x * ((x-1) + y)

上面，Prelude (+) 函数被本地绑定(bind)隐藏。结果将是 24，而不是 7。

打开警告应该指出危险的阴影。

<interactive>:11:6: warning: [-Wname-shadowing]
    This binding for ‘+’ shadows the existing binding