Wie kann (-) scheinbar zwei verschiedene Typen haben?

In ghci, wenn ich tippe

:t (-)

Um den Typ von herauszufinden (-), wird zurückgegeben

(-) :: Num a => a -> a -> a

Wenn ich jedoch schreibe, gibt -1haskell eine Zahl zurück, was zu bedeuten scheint, dass dies (-)vom Typ ist Num a => a -> a. Wie kann es (-)scheinbar zwei verschiedene Typen geben?

Dies war eine Designentscheidung in der Sprache. -1ist eine Zahl, aber ihre Verwendung in diesem Zusammenhang hängt nicht mit der Funktion zusammen(-) . (Wie Ackdari in seiner Antwort erwähnt, hängt diese Verwendung mit der Funktion zusammen negate.) Es gibt einige Kompromisse, die dies ermöglichen:

1. Sie können kein rechtes Stück des (-)Operators nehmen. Als Problemumgehung bietet Haskell die subtractFunktion.

2. Sie können keine negative Ganzzahl ohne Klammern schreiben, es sei denn, sie steht am Anfang einer Zuweisung (z. B. direkt nach =oder ->). Dies erzeugt einen Analysefehler:

   let x = 8 * -1

   Stattdessen sollte es geschrieben werden als

   let x = 8 * (-1)

   Dies ist jedoch in Ordnung:

   let x = -1 * 8

Dies wurde als angemessener Kompromiss für die Designer der Sprache angesehen.

Die Antwort ist bereits im Haskell-Wiki beschrieben , heißt es

Das unäre Minus ist syntaktischer Zucker für die Prelude-Funktion negate

Die Funktion (-)ist also immer die a - bFunktion, und wenn Sie Code schreiben, wie ihn let x = -yder Compiler übersetzt let x = negate y.

Unäres Minus ist in Haskell etwas Besonderes. Wie in Abschnitt 3.4 des Berichts angegeben :

Das spezielle Formular bezeichnet die Präfixnegation, den einzigen Präfixoperator in Haskell, und ist die Syntax für . Der binäre Operator bezieht sich nicht unbedingt auf die Definition von im Präludium; Es kann vom Modulsystem zurückgebunden werden. Unary bezieht sich jedoch immer auf die im Prelude definierte Funktion. Es gibt keinen Zusammenhang zwischen der lokalen Bedeutung des Operators und der unären Negation.-enegate (e)---negate-