In ghci, wenn ich tippe
:t (-)Um den Typ von herauszufinden (-), wird zurückgegeben
(-) :: Num a => a -> a -> aWenn 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:
Sie können kein rechtes Stück des (-)Operators nehmen. Als Problemumgehung bietet Haskell die subtractFunktion.
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 * -1Stattdessen sollte es geschrieben werden als
let x = 8 * (-1)Dies ist jedoch in Ordnung:
let x = -1 * 8Dies 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-