Haskell中的2类型的好奇案例

Question

将一般类型Num a => a指定为2而不是默认为某种特定类型（如Int或Integer）的原理是什么？

其次，我在很多地方都看过2是一个多态值，但多态的定义不承认约束变量。那么在Haskell中是多态的2？

Answer 1

2是多态的，所以你可以使用它作为你喜欢的任何类型的数字。 Num类型类具有功能fromInteger，在此使用。所以2真的是fromInteger (2 :: Integer)。如果2不是多态，你总是有写这个，如果你想要一个非整数，因为在Haskell没有自动强制（即你不能做(1 :: Integer) + (1 :: Int)）。顺便说一下，Fractional与fromRational的情况。

多态型变量可以有限制。如果他们没有约束，它被称为参数多态性如果他们这样做约束，有界噪声或特设多态。另请参阅HaskellWiki article on polymorphism。

请注意，您不应该依赖于顶级功能的类型推断，否则您可能陷入monomorphism restriction。例如，如果你在一个模块的顶级这样写：

polymorphic = 42 

您可能希望polymorphic为Num a => a类型的，但在现实中哈斯克尔将默认的polymorphic类型Integer。