为什么我的顶级函数需要在Haskell中签名？

Question

GHC警告我没有顶层的功能签名。我不明白为什么我需要他们。与提供它们的问题是，他们是相当复杂的，像这样的（自动生成）：

applyValue :: forall t t1 t2 t3 t4. 
       (t2 -> t) 
       -> (t2 -> t3 -> t4 -> t1) -> t2 -> t3 -> t4 -> (t -> Bool) -> [t1] 

那么，为什么我懒得将它们添加？

函数本身：

applyValue getValueAt stitchAndMove at fabric mark matchAt = 
    if matchAt (getValueAt at) 
    then [stitchAndMove at fabric mark] 
    else [] 

Answer 1

• 如机器可检查文档的形式。如果你认为这种类型是正确的类型，那么在那里要求编译器仔细检查你在以后不可避免的重构会话期间是否没有使用自己的接口。
• 作为人类可读的文档。虽然正如你所观察到的，但当你注意到你正在编写一个糟糕的机器生成类型的时候，现在可能是时候考虑一​​下你需要什么（类型）抽象来让它变得易读。
• 黑线鳕。 Haddock的注释会附加到类型签名上，而不是绑定，所以如果你遗漏了类型签名，那么你仔细手写的文档将被默默地忽略。
• 改善错误信息和ghci查询结果：尽管类型变量的实际名称并不重要，但当用户提供名称时，GHC会尽力保留名称。类似于(node -> Bool) -> (edge -> Bool) -> (graph -> Bool)可以比(t1 -> Bool) -> (t2 -> Bool) -> (t3 -> Bool)更具可读性，即使它们是相同的。