haskell - 如何阅读haskell类型签名？

Question

所以我把这个语句放在我的 ghci 上

jkl x f y = f (map (+y) x)

我把它放回去了。

jkl :: Num b => [b] -> ([b] -> t) -> b -> t

但是我读的时候一头雾水。根据我的理解，jkl 是采用 [b]、[b] 和 t 以及 b 的类型 num。最后它会输出t。这是正确的阅读方式吗？

Answer 1

jkl :: Num b => [b] -> ([b] -> t) -> b -> t

调用 jkl 的人必须

• 选择类型 b 和 t
• 保证 b 是在数字类型中选择的(Num b 约束)
• 将 [b](b 的列表)作为第一个参数传递
• 传递一个函数 [b] -> t 作为第二个参数(即接受 [b] 并返回一个 t)
• 将 a b 作为第三个参数传递
• 接收 t 作为最终结果返回