Haskell - 声明多个函数的类型

Question

我经常发现自己编写了多个具有相同类型的函数。我们称这种类型为 FuncType .我可能会写这样的东西:

funcA :: FuncType
funcB :: FuncType
funcC :: FuncType
funcD :: FuncType

-- Implementations

这感觉像是很多不必要的打字(打字就像敲击键盘一样，而不是声明功能的类型)。有没有办法更简洁地做到这一点？我想要的看起来是这样的:

(funcA, funcB, funcC, funcD) :: FuncType

-- Implementations

我真的很想用谷歌搜索，但结果是空的。如果这不是语言的特性，为什么不呢？我错过了什么吗？如果我发现自己需要这个，我做错了吗？

Answer 1

做你没有括号的尝试。

funcA, funcB, funcC, funcD :: FuncType

在 Haskell 2010 report ，您可以在 chapter 4 (Declarations and Bindings) 中看到类型签名 ( gendecl ) 看起来像这样:

vars :: [context =>] type

和 vars看起来像这样:

var-1 , … , var-n

这正是您正在寻找的形式。

旁注:如果 Haddock 在该类型签名周围找到文档，它将应用于该 ( vars ) 列表中的每个符号。