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(在这种情况下是列表的第一个元素的总和).