Haskell：这个函数的类型是什么？

Question

mifun s = foldr op 0 s
          where op x r = head x + r 

有没有办法让 ghci 告诉我？

Answer 1

尝试 :t mifun （:type mifun 的缩写），

它

*Main> :t mifun
mifun :: (Num b) => [[b]] -> b

为 So 提供了 b 的一个 num 实例, mifun 获取 b 的列表并输出单个 b （在本例中是列表的第一个元素的总和）。

Answer 2

这并不是真正的答案，但我需要格式化。

注意： 如果包含的任何列表为空，则 mifun 为 ⊥。例如：

> mifun [[3], [5, 8], [], [1, 2, 3]]
*** Exception: Prelude.head: empty list

如果您希望上述示例的结果为 9（将空列表视为对总和没有贡献），那么您应该将 op 定义为以下方式之一：

mifun s = foldr op 0 s
          where op []    r = r
                op (x:_) r = x + r 

mifun s = foldr op 0 s
          where op x r = (if null x then 0 else head x) + r 

mifun s = foldr op 0 s
          where op x r = sum (take 1 x) + r 

我可能更喜欢第一种。