如何使用n-1和n + 1進行'添加'功能

Question

我有兩個功能：n = n-1和n = n+1。

我怎樣才能使用這些定義使用遞歸，if-then-else，==函數add？

Answer 1

假設inc和dec是你的職責：

add x y | y > 0  = add (inc x) (dec y) 
add x y | y < 0  = add (dec x) (inc y) 
add x y | otherwise = x 

，類似的還有subtract。

Answer 2

inc :: Int -> Int 
inc n = n + 1 

dec :: Int -> Int 
dec n = n - 1 

add :: Int -> Int -> Int 
add n 0 = n 
add n m = add (inc n) (dec m) 

所以，你只是增加一個數字，每次你減少其他。如果你遞歸你基本上重複這個過程，直到你遇到一些邊緣條件。這是減少的數字下降到0（注意：只適用於自然數，而不是負整數）。您可以使用if-then-else將其擴展爲負數並與0進行比較（<，>）。

邏輯上你可能有一個函數s。

add(x,y) = add(y,x) 
add(x,0) = x 
add(x,s(y)) = add(s(x),y)