Haskell中的遞歸加法

Question

問題：

給您一個函數plusOne x = x + 1 。 不使用任何其他(+) ，定義遞歸函數addition ，以使addition xy將x和y在一起。

（來自wikibooks.org ）

我的代碼（不起作用-無限循環）：

plusOne x = x + 1

addition x y 
  | x > 0  =  addition (plusOne y) (x-1)
  | otherwise = y

問題：

1. 如何將plusOne函數連接到addition遞歸函數？
2. 應該怎么寫？

Answer 1

您在遞歸情況下混合了x和y

addition x y | y > 0 = addition (plusOne x) (y - 1)  -- x + y == (x + 1) + (y - 1)
             | otherwise = x   -- x + 0 = x

Answer 2

使用==和0

addition = add 0 where
    add a y x | a == y = x
              | otherwise = add (plusOne a) y (plusOne x)