Pourquoi `2 + x = 7` est-il un Haskell valide ?

Question

Quand j'essaie de compiler

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

Le CGH se plaint

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

Il semble donc que 2 + x = 7 est en soi syntaxiquement valide, bien qu'il ne définisse pas réellement l'option x . Mais pourquoi en est-il ainsi ?

Answer 1

Elle est valide parce qu'elle définit + à la place.

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

Ci-dessus, le prélude (+) La fonction de l'UE est assombrie par un lien local. Le résultat sera 24 pas 7 par conséquent.

L'activation des avertissements devrait signaler les ombres dangereuses.

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

Answer 2

Vous définissez une fonction locale appelée + .

2 + x = 7 est équivalent à (+) 2 x = 7 ce qui est équivalent à

(+) y x | y == 2 = 7

x est un paramètre (inutilisé), et la fonction n'est définie que si le premier argument est 2 . Ce n'est pas très utile, mais ça explique pourquoi x n'est pas visible à l'extérieur.