2

我正在完成wikibooks /haskell上的练习，MonadPlus 章节中有一个练习，希望你编写这个 hexChar 函数。我的函数如下所示工作，但问题是当我尝试切换函数周围的 2 个帮助解析器（digitParse 和 alphaParse）时，它会停止正常工作。如果我切换它们，我只能解析数字而不是字母字符。

为什么会这样？

char :: Char -> String -> Maybe (Char, String)
char c s = do
    let (c':s') = s
    if c == c' then Just (c, s') else Nothing

digit :: Int -> String -> Maybe Int
digit i s | i > 9 || i < 0 = Nothing
        | otherwise      = do
    let (c:_) = s
    if read [c] == i then Just i else Nothing

hexChar :: String -> Maybe (Char, String)
hexChar s = alphaParse s `mplus` digitParse s -- cannot switch these to parsers around!!
    where alphaParse s = msum $ map ($ s) (map char (['a'..'f'] ++ ['A'..'F']))
          digitParse s = do let (c':s') = s
                            x <- msum $ map ($ s) (map digit [0..9])
                            return (intToDigit x, s')
4

1 回答 1

3 
if read [c] == i then Just i else Nothing

标记的代码有缺陷。您正在使用Int'Read实例，例如read :: String -> Int. 但如果无法解析[c]为 int（例如"a"），read则会抛出异常：

> 数字 1“不以数字开头”
*** 例外：Prelude.read：无解析
> -- 其他例子
> (读取:: String -> Int) "a"
*** 例外：Prelude.read：无解析

相反，走另一条路：

if [c] == show i then Just i else Nothing

这将始终有效，因为show不会失败（不包括涉及底部的情况）。

于 2014-07-08T11:45:02.950 回答