如何让它变得更好？ “Maybe Bool”看起来不太好

Question

首先，我是 Haskell 的新手，所以如果我问的问题有点愚蠢，请告诉我如何才能做得更好。谢谢:)

我的任务是获取符合特定条件的字符串列表。如果没有字符串符合，我想评估为Nothing。所以我写了两个函数：

isSpecialLine :: String -> String -> Maybe Bool
isSpecialLine t s = Just $ (("[" ++ t ++ ":") `isPrefixOf` s) && ("]::" `isSuffixOf` s)

getLinesWith :: String -> String -> Maybe [String]
getLinesWith t = filterM (isSpecialLine t) . lines

这段代码有效，但我发现Maybe Bool 看起来有点奇怪。嘿，它是二进制的！它始终为True 或False，因此isSpecialLine 的值将始终为Just True 或Just False。就我而言，它永远不可能是Nothing！

但如果我将isSpecialLine 输出类型更改为Bool，则会出现以下问题：filterM 期望Maybe Bool 而不是Bool。

好的，我这样做：

getLinesWith :: String -> String -> Maybe [String]
getLinesWith t = filterM (Just $ isSpecialLine t) . lines

现在编译器抱怨类型不匹配：Maybe (String -> Bool) 与预期的String -> Maybe Bool 不匹配。好吧，很合理。所以我：

getLinesWith :: String -> String -> Maybe [String]
getLinesWith t = Just $ filter (isSpecialLine t) . lines

再次输入不匹配，这次Maybe (String -> [String]) 不是String -> Maybe [String]。将[String] 包装成Maybe monad 的正确语法是什么？

Answer 1

isSpecialLine 永远不会产生 Nothing，所以这是一个很好的暗示，Maybe 也可能没有意义。

isSpecialLine :: String -> String -> Bool
isSpecialLine t s = (("[" ++ t ++ ":") `isPrefixOf` s) && ("]::" `isSuffixOf` s)

getLinesWith :: String -> String -> [String]
getLinesWith t = filter (isSpecialLine t) . lines

Answer 2

在我看来，您在这里不需要filterM。您可以改用filter :: (a -> Bool) -> [a] -> [a]：

isSpecialLine :: String -> String -> Bool
isSpecialLine t s = isPrefixOf ("[" ++ t ++ ":") s && isSuffixOf "]::" s

getLinesWith :: String -> String -> [String]
getLinesWith t = filter (isSpecialLine t) . lines

确实，这将返回Strings 的列表，其中将保留与isSpecialLine 过滤器匹配的每个字符串。

Answer 3

不要像这样使用Maybe 并从getLinesWith 解包数据，

getLinesWith :: String -> String -> Maybe [String]
...

getDate :: String -> String -> UTCTime
getDate t s =
    timeFromString
    . filter (/= ' ')
    . getBetweenColons
    . maybe ":01-01-1971:" head $ getLinesWith t s

没有Maybe，我完成了更好看（我希望如此）的解决方案：

getLinesWith :: String -> String -> [String]
...

getDate :: String -> String -> UTCTime
getDate t s
  | null date = timeFromString "01-01-1971"
  | otherwise = timeFromString
              . filter (/= ' ')
              . getBetweenColons
              . head $ date
  where date = getLinesWith t s    

实际上，所有围绕Maybe 的舞蹈都是从GHC 抱怨head [] 开始的。 谢谢大家的意见！