Haskell初学者：如何处理函数返回的Maybe类型错误？

你的问题出在addOne函数的定义上——它只处理了Maybe Int为Just n的情况，完全没覆盖Nothing的输入场景。当你传入secureDivide 10 0返回的Nothing时，没有对应的匹配分支，程序就会触发模式匹配失败的异常。

下面是几种不用导入额外库的解决方法：

方法1：补全模式匹配（Haskell最惯用写法） #

直接给addOne加上Nothing的处理分支：

addOne:: Maybe Int -> Maybe Int
addOne (Just n) = Just (n + 1)
addOne Nothing = Nothing  -- 新增分支，处理空值情况

覆盖Maybe类型的所有构造器后，不管传入Just还是Nothing，函数都有对应逻辑，不会再报错。

方法2：使用case表达式 #

如果觉得分开写模式匹配不够直观，也可以用case表达式统一处理两种情况：

addOne:: Maybe Int -> Maybe Int
addOne m = case m of
    Just n -> Just (n + 1)
    Nothing -> Nothing

本质和补全模式匹配一致，只是写法更集中。

方法3：用if-else判断（满足需求但不推荐） #

虽然Haskell更推崇模式匹配，但也可以用if-else结合基础函数实现：

addOne:: Maybe Int -> Maybe Int
addOne m = if m == Nothing then Nothing else Just (fromJust m + 1)

这里fromJust用来从Just中取出内部的Int值，但必须先通过if判断m不是Nothing，否则fromJust会触发错误。

内容的提问来源于stack exchange，提问作者SS.h777