全局变量“total”没有正确更新

我正在做一项任务来计算列表中所有整数的总和。我应该在没有标准加法运算符以外的任何标准库函数的帮助下这样做。

我认为这意味着我不能使用length. 我的理解是正确的，对吧？这成为问题，因为我不确定我如何知道何时停止我的递归函数以遍历数组。

输入的 a 应该处理 are[]并且[0-X]其中 x 是任何整数。该示例将 X 设为 10，因此不要指望要测试任何巨大的东西。

作业提到它应该采用以下格式，但我不确定我是否遵循：

sum1 []     = ...
sum1 (x:xs) = ...

这是我利用长度的内容。它工作正常，我真的不在乎它是否效率低下。这是我第一次使用 Haskell：

iterate_list :: [Int] -> Int -> Int -> IO()
iterate_list func_list index total = do
    if index < length func_list
    then do
        let new_total = total + (func_list !! index)
        let new_index = index + 1
        iterate_list func_list new_index new_total
    else 
        print(total)
        

sum1 :: [Int] -> IO()
sum1 list = do
    if length list < 1
    then do
        print(0)
    else
        iterate_list list 0 0

更新：根据评论，这是我生成的代码。

total :: Int
total = 0

sum1 :: [Int] -> IO()
sum1 (x:xs) = do
    if xs == []
    then do
        print(total)
    else do
        let total = total + x
        sum1 xs

total :: Int
total = 0

sum1 :: [Int] -> IO()
sum1 (x:xs) = do
    if xs == []
    then do
        print(total)
    else do
        let total = total + x
        sum1 xs

但是，我现在遇到的问题是total返回 0，几乎就像它是一个常数。我可能是这样编程的，但我不太确定发生了什么。

根据赋值描述，我无法通过递归函数传递变量来存储此值。我以前就是这样做的。有谁知道是否有办法total在函数之外使用“ ”变量。

回答

sum1 :: [Int] -> Int

sum1 [] = …

sum1 (x : xs) = …

sum1 xs + sum1 ys
sum1 (xs ++ ys)