2点距離、関数宣言を変更せずにハスケル？

Question

関数の宣言を変更せずに、2つの点の間の距離について、予想される型 'b'と実際の型 'a'を一致させることができません。 'a'は、 以下のための署名：」

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は、その引数と同じ型を返します。

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

あなたはsqrtに引数としてbを提供しているので、Haskellは戻り値の型はでなければならないことを推測しますであり、aではありません。

あなたは

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