类型签名错误Haskell

Question

这可能是一个愚蠢的问题，但我想更好地理解类型签名，以及为什么在运行代码时出现以下错误。 代码如下。

area :: Double d => d -> d
area x = x^2 * 3.14

我得到的错误如下。

Double is applied to too many type arguments
In the type signature for `area': area :: Double d => d -> d

Answer 1

您想要的签名是Double -> Double 。

Double d => d -> d表示：“只要d具有类型为Double的类型类的实例，我就可以获取任何类型d的值，并返回相同类型的值”。 编译器正在寻找一个叫做Double的类型类，但是没有这样的类型类。 而是找到一个名为Double的类型 ，并给出一个错误。

使用某些扩展名（例如TypeFamilies或GADTs ），您可以这样编写此类型：

(d ~ Double) => d -> d

这就是说：“只要d等于Double ，我就可以取任何类型d的值，并返回相同类型的值”。 这只是说Double -> Double一种回旋方式。 如果您编写此类型的函数，则编译器实际上会将其扩展为Double -> Double ：

> :set -XTypeFamilies
> let f :: (d ~ Double) => d -> d; f x = x
> :t f
f :: Double -> Double

从技术上讲，您遇到的错误是一种类型错误-种类是“类型的类型”，用于检查诸如为类型提供正确数量的类型参数之类的事情。 因为您为Double提供了一个类型参数，GHC推断它应该是一个像Eq或Ord这样的类型类，它以1个类型作为参数（kind * -> Constraint ），但是Double是一个不带参数的普通类型（kind * ） 。 您可以使用:kind或:k命令查看GHCi中常见类型和类型类的:kind ，以更好地理解它们：

> :k Double
Double :: *

> :k Maybe
Maybe :: * -> *

> :k Maybe Double
Maybe Double :: *

> :k Eq
Eq :: * -> Constraint