使用庫函式獲取整數後繼的Haskell程式

---

在Haskell中，我們可以使用庫函式（例如`succ`、加法和`fromMaybe`函式）來獲取整數的後繼。在第一個例子中，我們將使用`(succ number)`函式；在第二個例子中，我們將使用加法；在第三個例子中，我們將使用`(fromMaybe 0 (succMaybe x))`函式。

演算法

• 步驟1 - 程式執行將從`main`函式開始。`main()`函式控制整個程式。它寫成`main = do`。它呼叫`succ`函式並列印其後繼到控制檯。

• 步驟2 - 變數“number”被初始化。它將儲存用於計算其後繼值的數值。

• 步驟3 - 呼叫函式後，使用`putStrLn`語句將結果的後繼值列印到控制檯。

示例1

在這個例子中，我們將看到如何獲取整數的後繼值。這可以透過使用`succ`函式來實現。

main :: IO ()
main = do
   let number = 5
   let successor = succ number
   putStrLn (show successor)

輸出

6

示例2

在這個例子中，我們將看到如何獲取整數的後繼值。這可以透過將單位數加到給定數字來實現。

main :: IO ()
main = do
   let x = 5
   print (x + 1)

輸出

6

示例3

在這個例子中，我們將看到如何獲取整數的後繼值。這可以透過使用模式匹配來實現。

succ' :: Int -> Int
succ' 0 = error "Cannot find successor of 0"
succ' x = x + 1

main :: IO ()
main = do
   let x = 5
   print (succ' x)

輸出

6

示例4

在這個例子中，我們將看到如何獲取整數的後繼值。這可以透過使用`fromMaybe`函式來實現。

import Data.Maybe

main :: IO ()
main = do
   let x = 5
   print (fromMaybe 0 (succMaybe x))

succMaybe :: Int -> Maybe Int
succMaybe x = if x > 0 then Just (x + 1) else Nothing

輸出

6

結論

在Haskell中，有多種方法可以找到給定數字的後繼。一些常見的方法包括使用`Prelude`庫中的內建庫函式`succ`，將1加到數字上，使用`mod`函式，或者編寫一個使用模式匹配或條件語句來查詢後繼的自定義函式。