Haskell类型系统中的`Num a => a`是什么意思？

Question

如果我强制Haskell推断一个数字的类型，我会得到Num a => a。例如：

Prelude> :t 1 
1 :: Num a => a 

但什么是a => a是什么意思？

Answer 1

1 :: Num a => a意味着1有一些类型a，其中a是Num类型类的一个实例。请注意，Num不是一个类型，而是一个类型类型，它描述了各种类型的通用属性。例如，类型类型Num描述的是数字类型，因此支持基本算术。本地机器整数类型Int是Num的一个实例，如同任意大小的Integer，浮点类型Double，甚至有理数类型Rational一样。

Answer 2

a => a并不意味着什么。完整的短语是Num a => a。这意味着“a”是Num类型类的一个实例。

你也可以把它看作(Num a) => a。它提供了一个上下文来说明a是数字。
然而，它不是类型的a;它只是说a应该在Num类型类。
类型类有点像面向对象编程中的接口，因为它们定义了某些行为，而没有详细定义a。请注意，->和=>之间有所不同。第一个用于功能签名;第二个用于显示类型类。

Answer 3

打字1 :: Num a => a意思是“1是a类型的，对于所有类型的a在类型类Num”。更确切地说，这意味着“1是任何数字类型”。

由于这种类型的，你可以通过1到需要的任何数字类型的任何功能，如Int，Double等

扩展您的例子一点，我们也有[1,2,3] :: Num a => [a]。这意味着“[1,2,3]是类型a的值的列表，对于类型Num中的所有类型a”。换句话说，“[1,2,3]是任何数字类型的值的列表”。