问在Haskell中定义函数时，您能同时处理Int和Float吗？

EN

正如评论中所指出的，您正在寻找一个典型的类型化。在这种情况下，由于您希望将数字相加在一起，所以需要Num类型，它提供了加法函数。

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

所以你的签名应该看起来像

add :: Num a => [a] -> a

并且可以递归地编写该函数。

add [] = 0
add (x:xs) = x + add xs

注意，整数文本(如本例中的0 )在内部被视为Num a => a。实际上，Haskell编译器将把number 0编译成fromInteger (0 :: Integer)，其中fromInteger是Num类型中的另一个函数。因此，整数文字是多态的。

最后，虽然这个实现没有什么问题，但是您要查看的函数实际上是内置到Haskell的。它叫sum。

sum :: (Foldable t, Num a) => t a => a

请注意，Foldable是一个典型的，适合的东西，可以折叠。列表类型[]是Foldable的一个示例。