我如何使我的函数返回双精度而不更改Metric类型？

Posted 2021-05-07

我有一个'距离'函数，用于计算两点之间的距离。我的问题是该函数应为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中将float转换为double，但没有发现任何帮助

答案

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

sqrt会not返回一个Float，它返回与该参数相同类型的值，并且它是Floating的实例（请注意，Floating是一个类型类，和not与Float（是一种类型）相同）。因此，它的类型为sqrt :: Floating a => a -> a。

您可以在这里将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 -> Point a -> a：

Floating a => Metric2 a