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

堆栈溢出很可能是由无限递归造成的。你的卫兵是和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捕获那一个。