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

因此，對於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 

我可能更喜歡第一個。