Zwei Punkte Abstand, Haskell ohne Änderung der Funktionserklärung?

Question

Für den Abstand zwischen zwei Punkten, ohne die Funktionsdeklaration zu ändern, erhalte ich diesen Fehler "Konnte nicht den erwarteten Typ 'b' mit dem tatsächlichen Typ 'a' 'a' ist eine feste Typvariable, die durch den Typ gebunden ist Unterschrift für:“

type Point a = (a,a) 
distance :: (Real a, Floating b) => Point a -> Point a -> b 
distance (x1,y1) (x2,y2) = sqrt ((dx * dx) + (dy * dy)) 
    where dx = x2 - x1 
    dy = y2 - y1 

Answer 1

sqrt kehrt der gleiche Typ wie sein Argument:

Prelude> :t sqrt 
sqrt :: Floating a => a -> a 

da Sie b als Argument sqrt sind die Bereitstellung, folgert Haskell, dass der Rückgabetypsein mussund nicht a.

Gibt es einen bestimmten Grund, warum Sie nicht

distance :: Floating b => Point b -> Point b -> b 
distance (x1,y1) (x2,y2) = sqrt ((dx * dx) + (dy * dy)) 
    where dx = x2 - x1 
     dy = y2 - y1 

Answer 2

type Point a = (a,a) 
distance :: (Real a, Floating b) => Point a -> Point a -> b 
distance (x1,y1) (x2,y2) = sqrt ((dx * dx) + (dy * dy)) 
    where dx = realToFrac $ x2 - x1 
     dy = realToFrac $ y2 - y1