Haskell 解析递归和可能

Question

我正在尝试用 Haskell 编写解析器。

此解析器在参数中接受一个字符串（例如：“abc def”）并返回一个 Maybe (String, String)。

也许（字符串，字符串）

First String 获取数字或字母时的字符。

第二个字符串得到剩下的

在这个例子中，我想返回 Maybe ("abc", "def")。

parseString :: String -> Maybe (String, String)
parseString "" = Nothing
parseString expr = case isString expr of
                Just (char, rest) -> fmap (char:) (parseString rest)
                Nothing -> Just ("", expr)

isString 返回：

也许 (Char, String) -> Char = 第一个字符，String = 其余 / 如果不是字母或数字，则什么都没有。

问题，我可能无法返回字符串的其余部分。

Answer 1

问题似乎出在

fmap (char:) (parseString rest)

现在，(char:) 是一个函数String -> String，所以fmap (char:) 变成了Maybe String -> Maybe String（或者它的泛化到另一个函子）。但是，parseString rest 不是Maybe String，而是Maybe (String, String)。

因此，我们需要调整 (char:) 以处理该对的第一个组件。我会试试的

fmap (\(res,rest2) -> (char:res, rest2)) (parseString rest)

（通过从Data.Bifunctor或Control.Arrow导入first，可以写成fmap (first (char:)) (parseString rest)，但这并不重要。）