Переполнение стека переполнения 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 

EDIT:

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 

Я считаю, что код само за себя, но все же: если х четно, то разделить его с 2 в противном случае 3 * х + 1. Это часть знаменитой проблемы Collatz.

Answer 1

Функция приложение имеет более высокий приоритет, чем многие другие операции, так foo 3 * x + 1 на самом деле вызов foo 3, то умножив результат на x и добавление 1, который выглядит как, где ваш бесконечный цикл может быть.

Изменение его следующее должно исправить:

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