Wie konvertiert man (Num a) => a in Haskell?

Question

Ist es möglich, die folgenden zwei Funktionen in Haskell zu einer polymorphen Funktion zu kombinieren?

mutiplyByTwoI :: Int -> Float 
mutiplyByTwoI x = fromIntegral x * 2.0 

mutiplyByTwoF :: Float -> Float 
mutiplyByTwoF x = x * 2.0 

Ich versuchte Num a, aber ich konnte nicht einen Weg zu konvertieren Num a zu Float finden.

mutiplyByTwo :: (Num a) => a -> Float 
mutiplyByTwo = undefined 

Answer 1

Sie können

byTwo :: Real a => a -> Float 
byTwo x = 2 * realToFrac x 

schreiben, die auf beide Typen spezialisiert sein können Sie, Int -> Float und Float -> Float anfordern.

Answer 2

Nicht jede Instanz von Num hat eine vernünftige Umstellung auf Float. Für ein einfaches (ha ha) Beispiel betrachtet komplexe Zahlen:

-- represented in rectangular coordinates 
data Complex = Complex { real :: Float, imaginary :: Float } deriving (Eq, Ord, Show, Read) 

instance Num Complex where 
    Complex u v + Complex x y = Complex (u + x) (v + y) 
    Complex u v * Complex x y = Complex (u * x - v * y) (v * x + u * y) 
    negate (Complex u v) = Complex (negate u) (negate v) 
    -- etc 

Offensichtlich gibt es keine Möglichkeit, ein Complex zu einem Float ohne Wegwerfen Informationen zu konvertieren: Float s leben (eine Untergruppe von) die wirklichen Linie während komplexen Zahlen leben auf der komplexen Ebene. Es gibt keine Funktion toFloat :: Num a => a -> Float, die für alle Instanzen von Num funktioniert.