In ghci, quando scrivo
:t (-)per capire il tipo di (-), ritorna
(-) :: Num a => a -> a -> aTuttavia, quando scrivo -1haskell restituisce un numero, il che sembra implicare che (-)sia di tipo Num a => a -> a. Come possono (-)apparentemente avere due tipi diversi?
Risposte:
Questa è stata una decisione di progettazione nella lingua. -1è un numero, ma il suo utilizzo in questo contesto non(-) è correlato alla funzione . (Come menziona Ackdari nella loro risposta, questo utilizzo è correlato alla funzione negate.) Ci sono un paio di compromessi che consentono a questo di funzionare:
Non puoi prendere una fetta corretta (-)dell'operatore. Come soluzione alternativa, Haskell fornisce la subtractfunzione.
Non è possibile scrivere un numero intero negativo senza parentesi a meno che non sia all'inizio di un compito (ad es. Direttamente dopo =o ->). Questo produce un errore di analisi:
let x = 8 * -1Invece, dovrebbe essere scritto come
let x = 8 * (-1)Tuttavia, questo va bene:
let x = -1 * 8Questi sono stati considerati un compromesso ragionevole per i progettisti della lingua.
La risposta è già stata decifrata nel wiki di haskell , afferma
Il meno unario è lo zucchero sintattico per la funzione Preludio
negate
quindi la funzione (-)è sempre la a - bfunzione e se scrivi il codice come
let x = -yil compilatore lo tradurrà let x = negate y.
Unus meno è speciale in Haskell. Come indicato nella sezione 3.4 della relazione :
La forma speciale indica la negazione del prefisso, l'unico operatore prefisso in Haskell, ed è sintassi per . L' operatore binario non si riferisce necessariamente alla definizione di nel Preludio; potrebbe essere rimbalzato dal sistema del modulo. Tuttavia, unario farà sempre riferimento alla funzione definita nel Preludio. Non esiste alcun legame tra il significato locale dell'operatore e la negazione unaria.
-enegate (e)---negate-