单子和liftM

单子（Monad）是函数式编程中的概念，它用于处理包含副作用的计算。liftM 是 Monad 类型类中的一个函数，用于将普通的函数转换为 Monad 函数。

下面是一个使用单子和 liftM 的示例代码：

假设有一个计算函数 add，用于将两个数字相加：

add :: Int -> Int -> Int
add x y = x + y

现在，假设我们想要将这个计算函数应用于两个 Monad 值。我们可以使用 liftM 函数来实现：

import Control.Monad (liftM)

main :: IO ()
main = do
  let x = Just 2
  let y = Just 3
  let result = liftM (add 10) x >>= \a -> liftM (add a) y
  case result of
    Just r -> putStrLn $ "Result: " ++ show r
    Nothing -> putStrLn "Error: Invalid input"

在上面的代码中，我们首先定义了两个 Maybe Monad 值 x 和 y，分别表示数字 2 和 3。然后，我们使用 liftM 函数将 add 函数转换为一个 Maybe Monad 函数。最后，我们使用 >>= 运算符将两个 Monad 值连接起来，并将结果存储在 result 变量中。

最后，我们使用 case 语句来处理可能的结果。如果计算成功，我们将输出结果值；如果计算失败，则输出错误信息。

这就是一个使用单子和 liftM 的示例代码。请注意，liftM 函数可以用于所有 Monad 类型，不仅仅是 Maybe Monad。