haskell - 简化 Maybe 表达式

Question

我有以下代码，我认为它很难看:

loginCheck = do
  ml <- getPostParam "login" -- ml and mp :: Maybe ByteString
  mp <- getPostParam "password"
  if isJust ml && isJust mp
    then authAs (fromJust ml) (fromJust mp)
    else render "Msg" [("text", "Form incomplete")]

这段代码看起来非常有必要。我可以以某种方式简化它吗？

Answer 1

怎么样:

loginCheck = do
  ml <- getPostParam "login" -- ml and mp :: Maybe ByteString
  mp <- getPostParam "password"
  case (ml,mp) of
    (Just l, Just p) -> authAs l p
    _ -> render "Msg" [("text", "Form incomplete")]

使用 isJust 和/或 fromJust 的代码几乎总是不好的风格，并且如果你在 fromJust 之前进行 isJust 检查错误的话，会有点危险。

这可以通过以下方式改进

• 模式匹配，如上。但如果这是嵌套的，它就会变得很难看。
• 组合符，例如 fromMaybe 可以更简洁。
• 使用 Maybe(和 MaybeT)作为 Applicative 或 Monad 可以避免丑陋的嵌套。