使用foldl实现MacLaurin级数正弦近似求和的Haskell技术问询

嘿，作为Haskell新手遇到这个问题太正常了，我来帮你捋清楚问题出在哪，然后给出能正常运行的修正实现！

先看你代码里的几个关键坑：

• 运算符优先级陷阱：你写的-1**n会被Haskell解析成-(1**n)，而不是我们需要的(-1)**n，这直接导致所有级数项都是负数，结果完全偏离预期！
• 类型不匹配问题：你的factorial返回整数类型，但x**(2*n+1)是浮点数，直接相除会触发类型错误，得把阶乘结果转成浮点数才行。
• fold的正确调用：你的sin x没写完，其实只需要用foldl从0开始累加你生成的级数列表就完成求和了。

下面是修正后的完整代码，我还给函数起了更语义化的名字：

-- 阶乘函数，添加类型签名让代码逻辑更清晰
factorial :: Integer -> Integer
factorial n = product [1..n]

-- 生成正弦函数的麦克劳林级数项列表
sinSeries :: Double -> [Double]
sinSeries x = [ ((-1)^n) * (x^(2*n + 1)) / fromIntegral (factorial (2*n + 1)) | n <- [0..29] ]

-- 用foldl累加级数项得到sin近似值
mySin :: Double -> Double
mySin x = foldl (+) 0.0 (sinSeries x)

关键修正点解释： #

1. 符号逻辑修正：把-1**n改成(-1)^n，确保每一项的符号交替变化（正、负、正、负...），这是麦克劳林级数实现正弦函数的核心要求。
2. 类型转换处理：用fromIntegral把factorial返回的整数转成Double，这样就能和x的浮点数运算结果正常相除，避免类型错误。
3. foldl的正确使用：foldl (+) 0.0表示从初始值0.0开始，把列表里的每一项依次累加起来，刚好对应级数求和的逻辑。

你可以测试一下这个实现，比如：

main = do
  print $ mySin (pi / 2)  -- 输出应该接近1.0
  print $ mySin pi        -- 输出应该接近0.0
  print $ mySin (pi / 4)  -- 输出应该接近√2/2 ≈0.7071

内容的提问来源于stack exchange，提问作者zuzu