我收到了一些奇怪的类型类错误，形式为“没有由表达式类型签名引起的 (Test a0) 实例”。这是我能想到的最简单的违规代码版本：
class Test a where
test :: a
foo = test
添加类型没有帮助：
foo = test :: Test a => a
但是，添加 Test 实例确实可以编译：
instance Test Int where
test = 0
这是不可接受的，因为我希望在其他地方声明我的实例。
最后，将-XNoMonomorphismRestriction 传递给 ghc(i) 也允许它编译。虽然现在这已经足够好了，但我不明白这个扩展的作用，为什么它是必要的，或者可能潜伏着什么缺点。
【问题讨论】：
作为禁用整个文件的单态限制的替代方法（这相当无害，但可能会导致一些意外的重新计算不旨在成为多态的值)，添加类型 does 帮助，但您必须将其作为顶层签名：
foo :: Test a => a
foo = test
如果你在test之后添加它，它被认为只是子表达式test上的一个注解，并且不会关闭foo本身的单态限制。
【讨论】：
看了this article，终于明白了单态限制。关键是看起来像常量的东西不应该是多态的，因为这可能会导致它们被多次评估（最坏的情况会导致指数级减速）。
在我的实际情况下，“常量”本身就是一个函数（通过柯里化）。我现在在围栏上；我应该诉诸-XNoMonomorphismRestriction，还是添加类型声明？后者似乎不那么激烈/侵入性，但另一方面，我只是不喜欢 MR 对我的类型所做的事情。
【讨论】：
-fdefer-type-errors 选项，这样在编程时调整这些东西就不会那么烦人了。