Haskell遞歸堆棧溢出

Question

我對Haskell來說還很陌生，非常抱歉。 但是-如何擺脫無盡的遞歸而不會被溢出。 這是代碼：

foo :: Integer -> Integer
foo x
    | x == 1         = 1
    | x <= 0         = error "negative number or zero"
    | odd x          = foo 3 * x + 1
    | x `mod` 2 == 0 = foo x `div` 2
    | otherwise      = x

編輯 ：

foo :: Integer -> (Integer, Integer)
foo x
    | x == 1         = (1, z) 
    | x <= 0         = error "negative number or zero"
    | odd x          = foo  (3 * x + 1) . inc z
    | even x         = foo  (x `div` 2) . inc z
    | otherwise      = (x, z)
  where z = 0

inc :: Integer -> Integer
inc i = i + 1

我相信代碼是不言自明的，但是：如果x等於2，則除以2，否則3 * x +1。這是著名的Collat​​z問題的一部分。

Answer 1

函數應用程序比其他許多操作具有更高的優先級，因此foo 3 * x + 1實際上是在調用foo 3 ，然后將結果乘以x並加1 ，這看起來像是無限循環所在的位置。

將其更改為以下內容可以解決此問題：

| odd x          = foo $ 3 * x + 1
| x `mod` 2 == 0 = foo $ x `div` 2