Haskellは実際の型と予想されるfloat型が一致しませんでした「」タプルの2部を追加しようとすると

Question

は、私が問題に遭遇している一緒に

機能タイプ：

close :: (Floating a, Ord a) => (a,a) -> (a,a) -> Float 

関数の定義：フォーマットの機能AYタプル（、）およびフォーマットの斧タプルを供給するオン

close y x = sqrt (((fromIntegral(snd x) - fromIntegral(snd y))^2) + ((fromIntegral(fst x) - fromIntegral(fst y)^2))) 

（、）は、2つの座標間の距離を計算する必要があります。 は、しかし、起動時に、私はのエラーを取得する：

Couldn't match expected type 'Float' with actual type 'a' 
a is a rigid type variable bound by... 

私は、問題が生じている理由を理解して、私はあなたがこれをデバッグするのに役立つ

Answer 1

タイプが間違っています。 Reduがコメントに言及しているように、型式はFloatingであり、その上にfromIntegralが呼び出されています。

Prelude> :t fromIntegral 
fromIntegral :: (Num b, Integral a) => a -> b 

あなたはFloatingIntegralを持つことができないので、これは失敗します。あなたのタイプではなく、次のようになります。あなたも(^)が(Num a, Integral b) => a -> b -> a上で動作するので、任意の数をベースとすることができ、できるだけ多くfromIntegral呼び出しを必要としない

close :: Integral a => (a, a) -> (a, a) -> Float 

注意。重要な操作はsqrtで、これにはFloating aが必要です。

close :: Integral a => (a, a) -> (a, a) -> Float 
close (x1, y1) (x2, y2) = sqrt . fromIntegral $ squaredDistance where 
    squaredDistance = (x1 - x2)^2 + (y1 - y2)^2 

Answer 2

一つの技術は、コメントをするだろう、それを修正する方法が分かりませんあなたのタイプシグネチャを取り出し、そのタイプが何であるかをシステムに尋ねます。 ghciでは、それは:t closeになります。