我可以收到有关过分限制类型签名的警告吗？

Question

当我为一个可能更多态的函数提供了一个类型签名时，GHC或者一些lint工具能告诉我什么？

Answer 1

GHC不会这样做，并且快速搜索Hackage什么也没有。

实现这样的事情是将加载GHCI模块，使用:browse让所有的类型签名，然后没有任何类型的签名加载一个副本，再次使用:browse，并比较简单，但可能很有效的方法两项产出;那么只需打印所有不同于括号，空格和字母重命名的行。但是，这不会完美地工作，特别是如果您有无法推断其类型的定义。

我有一种感觉，这种工具会在实践中出现很多误报。