Warum gibt ghci aus (Num a) => a für: t 4 und nicht (Ord a) => a?

Question

Als ich :t 4 in GHCI eingeben bekomme ich

Prelude> :t 4 
4 :: Num t => t 

Ich verstehe, warum 4 nicht nur ein Int oder eine ganze Zahl ist, und dass es infered unten nach oben, aber ich verstehe nicht, warum 4 nicht als Ord t => t gezeigt oder noch richtig etwas wie folgt aus:

4 :: (Ord t || Num t) => t 

Da 4 ist sowohl ein Ord und ein Num aber Ord und Num haben keine Verbindung ...

Warum also :t 4 Ausgabe nur Num?

Answer 1

Nicht alle Typen mit Instanzen für Num haben auch Fälle für Ord, und Sie brauchen nur den fromInteger Teil Num die überladenen Zahlenliterale Haskell hat zu haben. Zum Beispiel hat Complex von Data.Complex eine Num Instanz, aber keine Ord. In diesem Fall ist 4nicht ein Ord.

ghci> import Data.Complex 
ghci> let x = 1 :: Complex Double 
ghci> let y = 2 :: Complex Double 
ghci> x < y 
<interactive> 
    * No instance for (Ord (complex Double)) arising from use of `<' 
    * In the expression: x < y 
     In the equation for `it': it = x < y 
ghci> 

Wie @Lee kommentiert, ist dies das Verhalten in der report umrissen.