将 num 的签名键入 double？

我才刚刚开始为你学习 Haskell 以获得伟大的好处，并且我在类型类方面遇到了一些麻烦。我想创建一个接受任何数字类型并强制其为双精度的函数。

我的第一个想法是定义

numToDouble :: Num -> Double

但我认为这不起作用，因为Num不是一个type， 它是类型类（在我看来，这是一组类型）。所以看着read, shows (Read a) => String -> a。我将其读为“读取一个字符串，并返回一个类型的东西a这是由用户指定的”。所以我写了以下内容

numToDouble :: (Num n) => n -> Double
numToDouble i = ((i) :: Double)

在我看来，这就像“采取 n 类型的东西（必须在Numtypeclass，并将其转换为 Double”。这似乎很合理，因为我可以做20::Double

这会产生以下输出

Could not deduce (n ~ Double)                                                                                                                                                                                                                                              
from the context (Num n)                                                                                                                                                                                                                                                   
  bound by the type signature for numToDouble :: Num n => n -> Double

我不知道我在读什么。根据我所能找到的，这似乎与多态性有关？

Edit:

需要明确的是，我的问题是：为什么这不起作用？

你可以说“20::Double”的原因是，在 Haskell 中，整数文字的类型为“Num a => a”，这意味着它可以是你喜欢的任何数字类型。

你是对的，类型类是一组类型。准确地说，它是实现类型类的“where”子句中的功能的类型集。您的 numToDouble 类型签名正确表达了您想要执行的操作。

您对函数中“n”类型的值所了解的只是它实现了 Num 接口。它由 +、-、*、negate、abs、signum 和 fromInteger 组成。最后一个是唯一进行类型转换的，但它对您想要的没有任何用处。

请记住，Complex 也是 Num 的一个实例。 numToDouble 应该做什么呢？正确的事情并不明显，这也是你遇到问题的部分原因。

然而，在类型层次结构的下方，您拥有 Real 类型类，它具有您可能想要使用的所有更简单的数字类型的实例，例如浮点数、双精度数和各种类型的整数。其中包括一个函数“toRational”，它将任何实际值转换为比率，您可以使用“fromRational”将其转换为 Double，它是“Fractional”类型类的函数。

So try:

toDouble :: (Real n) => n -> Double
toDouble = fromRational . toRational

但当然这实际上太具体了。 GHCI 说：

Prelude> :type fromRational . toRational
fromRational . toRational :: (Fractional c, Real a) => a -> c

因此它将任何实数类型转换为任何分数类型（后者涵盖了任何可以进行除法的东西，包括不是实数实例的东西，例如复数）当搞乱数字类型时，我不断发现自己将它用作一种通用数字强迫。

Edit:正如 leftaroundabout 所说，

realToFrac = fromRational . toRational