Haskell:可怕的类型签名

Question

我正在努力理解这种类型签名:

Prelude Text.Regex.Posix> :t (=~)
(=~)
  :: (Text.Regex.Base.RegexLike.RegexMaker
        Regex CompOption ExecOption source,
      Text.Regex.Base.RegexLike.RegexContext Regex source1 target) =>
     source1 -> source -> target

我认为他们列出了类型类，source、source1 和 target 应该是实例，但语义看起来完全晦涩难懂(即，即使我理解它的意思，我也无法复制它)。

Answer 1

这里没有什么奇怪的:只是一些带有很多参数的类型类。 (长的 Text.Regex.Base... 模块名称也没有帮助。)

• 必须有 RegexMaker实例:Regex、CompOption、ExecOption 以及 source 的任何类型
• 必须有 RegexContext实例:Regex，无论 source1 是什么类型，以及 target 是什么类型
• (=~) 函数本身接受一个 source1 和一个 source 并给出一个target<

Haskell 自己的 (+) 运算符与 (=~) 的形状类似，但其类型希望更易于阅读:

(+) :: Num a => a -> a -> a