haskell程序中的无限循环

Question

以下代码在某些情况下（例如 hosum (\x->x `mod` 3) 1000 ）给我一个堆栈溢出错误，我不明白为什么。谁能给我解释一下？ （我是 Haskell 的新手，如果有任何帮助，我将不胜感激 :)）

 hosum :: (Int -> Int) ->  (Int -> Int)
    hosum f  = (\x -> hs f x (- x))
            where hs :: (Int -> Int) -> Int -> Int -> Int
                  hs f 0 0 = f 0
                  hs f n m
                          | m <= n 
                          = f m + hs f n (m+1)
                          | n <= m 
                          = f n + hs f (n+1) m
                          | otherwise
                          = 0

Answer 1

栈溢出很可能是无限递归造成的。你的守卫是m <= n和n <= m；对于每个n 和m，其中之一总是正确的。你的otherwise 永远不会到达，递归永远不会终止。你的意思可能是你的警卫是m < n 和n < m。

因此您的hs 应该是

hs f 0 0 = f 0
hs f n m | m < n     = f m + hs f n (m + 1)
         | m > n     = f n + hs f (n + 1) m
         | otherwise = 0

由于最后一个守卫，您甚至可以删除模式hs f 0 0； otherwise 抓住了那个。