haskell - IO 和 Maybe monad 交互

Question

我有以下代码，但我觉得它太丑陋和必要了。有人会改写它以使其更实用吗？ (我搞砸了 MaybeT 但无法使其工作)也欢迎应用性答案。

getString :: IO String

pred :: String -> Bool

f :: String -> String

result :: IO (Maybe String)
result = do
  s <- getString
  if pred s
    then return $ Just $ f s
    else return Nothing

编辑:一个后续问题:如果 pred 和 f 也在 IO 中返回结果怎么办(我应该把它分成一个单独的问题吗？)

getString :: IO String

pred :: String -> IO Bool

f :: String -> IO String

result :: IO (Maybe String)
result = do
  s <- getString
  b <- pred s
  if b
    then Just <$> f s
    else return Nothing

Answer 1

我将从 IO 中的逻辑开始。单子(monad)。然后你的函数可以写成

result :: IO (Maybe String)
result = foo <$> getString

foo :: String -> Maybe String
foo s | pred s    = Just (f s)
      | otherwise = Nothing 

你可以写 foo以不同的方式使用一些花哨的组合器，但我认为这里没有必要。最重要的是让你的逻辑脱离 IO以便更容易测试。