针对Haskell中的列表的点积产品

Question

我试图在Prelude库中仅使用函数的两个数字列表之间实现一个点积。我写了下面的功能：

dot :: Num a => [a] -> [a] -> a 
dot x y = sum $ zipWith (*) x y 

我测试如下：

main :: IO() 
main = do 
    let n = 10^6 
     x = (replicate n 2.0) :: [Double] 
     y = (replicate n 3.0) :: [Double] 
    print $ dot x y 
    return() 

不幸的是，这个代码导致堆栈溢出的空间用于名单100万件（GHC使用7.6。 3和优化标志-O2）。

对于这样一个简单的例子，我希望ghc能够执行必要的优化以避免递归调用的代价。我错过了什么吗？我的执行错误？

Answer 1

sum（曾经是）与foldr一起实施。这对大多数实例Num有点愚蠢的选择;严格的左边折叠更好。使用

import Data.List 

sum' :: Num a => [a] -> a 
sum' = foldl' (+) 0 

而不是你的堆栈溢出将消失。