如何在不更改度量类型的情况下使我的函数返回双精度值？

Question

我有一个函数“距离”，可以计算两点之间的距离。 我的问题是该函数应该是 Metric 类型，该类型返回一个 Double，而我在函数中的 sqrt 返回一个 Float。 这是我的代码：

    type Metric a = Point a -> Point a -> Double
    type Point a = (a, a)
    distance :: Floating a => Metric a
    distance (a1,b1) (a2, b2) = sqrt ((a*a)+(b*b))
       where a = a2 - a1
             b = b2 - b1

我知道如果将 Metric 写为 Point a -> Point a -> a 将解决我的问题，但我需要按原样使用 Metric 我还查找了如何在 Haskell 中将浮点数转换为双精度数，但没有发现任何帮助

Answer 1

我的问题是函数应该是Metric类型，该类型返回Double，而我在函数中的sqrt返回Float。

sqrt 确实不返回Float，它返回一个与参数类型相同的值，即Floating 的一个实例（注意Floating是一个类型类，不与Float 相同，后者是一个类型）。因此它的类型为sqrt :: Floating a => a -> a。

您可以在这里将您的distance 函数专门化为distance :: Metric Double：

distance :: Metric Double
distance (a1,b1) (a2, b2) = sqrt ((a*a)+(b*b))
    where a = a2 - a1
          b = b2 - b1

话虽如此，让Metric 返回a 可能更有意义：

type Metric2 a = Point a -&gt; Point a -&gt; <b>a</b>

然后使用Floating a => Metric2 a:

distance :: Floating a => Metric2 a
distance (a1,b1) (a2, b2) = sqrt ((a*a)+(b*b))
    where a = a2 - a1
          b = b2 - b1