Fehlertypen immer in Haskell passen

Question

Ich versuche, eine Liste der Ziffern von einer Reihe zu bekommen, hier ist mein Code:

digits x = if x > 0 then (i : digits (floor (x/10))) else [i] 
    where i = (mod x 10) 

Der Fehler, den ich für diesen Code zu bekommen ist:

No instance for (Integral a0) arising from a use of ‘it’ 
    The type variable ‘a0’ is ambiguous 
    Note: there are several potential instances: 
     instance Integral Integer -- Defined in ‘GHC.Real’ 
     instance Integral Int -- Defined in ‘GHC.Real’ 
     instance Integral Word -- Defined in ‘GHC.Real’ 
    In the first argument of ‘print’, namely ‘it’ 
    In a stmt of an interactive GHCi command: print it 

was mache ich falsch?

Answer 1

auf Kommentar Carsten Zu erarbeiten, das Problem ist, dass Haskell die Art Signatur

digits :: (RealFrac a, Integral a) => a -> [a] 

wenn das, was Sie wollten, war

digits :: Integral a => a -> [a] 

Der Grund ist es das ehemalige folgert folgert, dass Sie verwenden (/) und floor, die in den Klassen Fractional und RealFrac definiert sind. Wie Linksaround um zeigt, ist dies nicht wirklich ein Problem, bis Sie versuchen, Ihre Funktion mit einer tatsächlichen Zahl auszuführen, zu welchem ​​Zeitpunkt Haskell keine gute Zahl Typ zu finden ist (Haskell Nummer Literale sind tatsächlich polymorph, und es gibt spezielle Standardregeln für, wenn Sie nicht explizit einen Typ deklarieren), daher die seltsame Fehlermeldung. Sie würden eine aussagekräftigeren Fehlermeldung erhalten, wenn Sie so etwas wie digits (1 :: Int) versucht:

<interactive>:19:1: error: 
    • No instance for (RealFrac Int) arising from a use of ‘digits’ 
    • In the expression: digits (1 :: Int) 
    In an equation for ‘it’: it = digits (1 :: Int) 

Das Update, wie Carsten wies darauf hin, ist div zu verwenden, statt (/) und floor.