如果我强制 Haskell 推断数字的类型，我将得到 Num a => a .例如:
Prelude> :t 1
1 :: Num a => a
但是
a => a 是什么意思？意思是？
最佳答案
1 :: Num a => a表示 1有一些类型a , 其中 a是 Num 的一个实例类型类。请注意 Num不是类型，而是类型类，它描述了各种类型的共同属性。 Num例如，typeclass 描述了数字类型，因此支持基本算术。 native 整数类型Int是 Num 的一个实例, 任意大小的 Integer , 浮点类型 Double ，甚至有理数类型Rational .
关于haskell - Haskell 类型系统中的 `Num a => a` 是什么意思？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/34974872/