En ghci, quand je tape
:t (-)pour comprendre le type de (-), il retourne
(-) :: Num a => a -> a -> aCependant, lorsque j'écris, -1haskell renvoie un nombre, ce qui semble impliquer qu'il (-)est de type Num a => a -> a. Comment peut (-)apparemment avoir deux types différents?
C'était une décision de conception dans la langue. -1est un nombre, mais son utilisation dans ce contexte n'est pas liée à la fonction(-) . (Comme Ackdari le mentionne dans leur réponse, cette utilisation est liée à la fonction negate.) Il existe quelques compromis qui permettent à cela de fonctionner:
Vous ne pouvez pas prendre une tranche droite de l' (-)opérateur. Comme solution de contournement, Haskell fournit la subtractfonction.
Vous ne pouvez pas écrire un entier négatif sans parenthèses sauf s'il se trouve au début d'une affectation (par exemple directement après =ou ->). Cela produit une erreur d'analyse:
let x = 8 * -1Au lieu de cela, il devrait être écrit comme
let x = 8 * (-1)Cependant, c'est très bien:
let x = -1 * 8Ceux-ci ont été considérés comme des compromis raisonnables pour les concepteurs de la langue.
La réponse est déjà contournée dans le haskell-wiki , indique-t-elle
Le moins unaire est le sucre syntaxique pour la fonction Prélude
negate
donc la fonction (-)est toujours la a - bfonction et si vous écrivez du code comme
let x = -yle compilateur le traduira let x = negate y.
Unary moins est spécial à Haskell. Comme indiqué dans la section 3.4 du rapport :
La forme spéciale dénote la négation du préfixe, le seul opérateur de préfixe dans Haskell, et est la syntaxe de . L' opérateur binaire ne fait pas nécessairement référence à la définition de dans le Prélude; il peut être rebondi par le système de modules. Cependant, unaire fera toujours référence à la fonction définie dans le Prélude. Il n'y a pas de lien entre la signification locale de l' opérateur et la négation unaire.
-enegate (e)---negate-