如何更简洁地道地改写Haskell中Maybe类型的代码片段？

嘿，太懂这种刚开始用Maybe时的纠结了——很容易写出一堆嵌套的case或者重复的空值检查，代码瞬间就变得臃肿又难读。我给你分享几个Haskell里处理Maybe最惯用的简洁写法，你可以对照自己的代码看看哪种适配：

1. 用do符号简化链式Maybe操作 #

如果你的代码是一连串依赖Maybe值的操作（比如先取一个Maybe用户，再从用户里取Maybe年龄，再判断是否成年），嵌套case会非常啰嗦，换成do notation一下子就清爽了：

笨拙的嵌套写法： #

getUser :: Int -> Maybe User
getUserAge :: User -> Maybe Int
isAdult :: Int -> Maybe Bool

checkAdult :: Int -> Maybe Bool
checkAdult userId = case getUser userId of
  Nothing -> Nothing
  Just user -> case getUserAge user of
    Nothing -> Nothing
    Just age -> isAdult age

惯用的do写法： #

checkAdult :: Int -> Maybe Bool
checkAdult userId = do
  user <- getUser userId
  age <- getUserAge user
  isAdult age

2. 用maybe函数处理默认值+映射 #

如果你的逻辑是“有值就转换，没值就用默认值”，别写case了，直接用标准库的maybe函数：

笨拙的写法： #

greetUser :: Maybe String -> String
greetUser maybeName = case maybeName of
  Nothing -> "Hello, stranger!"
  Just name -> "Hello, " ++ name ++ "!"

惯用写法： #

greetUser :: Maybe String -> String
greetUser = maybe "Hello, stranger!" (\name -> "Hello, " ++ name ++ "!")

3. 用Applicative组合子处理多Maybe参数 #

如果你的函数需要多个Maybe类型的参数（比如把两个Maybe整数相加），嵌套case太麻烦，用<$>和<*>或者liftA2会优雅很多：

笨拙的写法： #

addMaybe :: Maybe Int -> Maybe Int -> Maybe Int
addMaybe ma mb = case ma of
  Nothing -> Nothing
  Just a -> case mb of
    Nothing -> Nothing
    Just b -> Just (a + b)

惯用写法： #

-- 方式1：用Applicative组合子
addMaybe :: Maybe Int -> Maybe Int -> Maybe Int
addMaybe ma mb = (+) <$> ma <*> mb

-- 方式2：用liftA2（Control.Applicative里的函数）
addMaybe = liftA2 (+)

4. 用>>=或<$>简化单步转换 #

如果只是把一个Maybe值传给一个函数（纯函数或返回Maybe的函数），直接用绑定操作符>>=或者映射操作符<$>：

例子1：纯函数转换 #

-- 笨拙写法
processStr :: Maybe String -> Maybe Int
processStr maybeStr = case maybeStr of
  Nothing -> Nothing
  Just str -> Just (length str)

-- 惯用写法
processStr :: Maybe String -> Maybe Int
processStr = length <$>

例子2：返回Maybe的函数 #

-- 笨拙写法
validateLength :: String -> Maybe String
validateLength s = if length s > 5 then Just s else Nothing

processInput :: Maybe String -> Maybe String
processInput maybeInput = case maybeInput of
  Nothing -> Nothing
  Just input -> validateLength input

-- 惯用写法
processInput :: Maybe String -> Maybe String
processInput maybeInput = maybeInput >>= validateLength

要是你能贴出自己的具体代码片段，我还能给你更精准的优化建议，但上面这些是处理Maybe最常用的简化技巧，应该能解决大部分场景下的冗余问题～

内容的提问来源于stack exchange，提问作者Jeffrey Phillips Freeman