在 Haskell 中读取罗马数字

Question

过去几天我一直在使用 Haskell 数据类型，使用自定义类型来处理罗马数字：

数据 RomanNumeral = I |四 |五 |九 | X |加大码 |大号 | XC | C |光盘 | D |厘米 | M 推导（Eq、Ord、Show、Read）

stringToRomanNumeral :: String -> Maybe [RomanNumeral]
stringToRomanNumeral romString
    |非罗马=没有
    |否则 = 只需 $ map read $ map (\x -> [x]) romStringUpper
    在哪里
        romStringUpper = 映射 C.toUpper romString
        unRoman = any (`notElem` "MDCLXVI") romStringUpper

这很好用，但只能捕获 1 个字符的数字（所以我必须稍后计算 IV、IX 等的值）。

有没有办法read（或reads）输入字符串，使得 Maybe [RomanNumeral] 的返回值也包含 2 个字符的数字？我尝试涉足模式匹配，但我似乎无法正确输入类型。

Answer 1

我认为您当前使用 RomanNumeral 数据类型的方式本质上是一个坏主意。

您还应该覆盖显示/读取，而不是依赖默认设置。

也许

-- underlying datatype as int
data RomanNumeral = RomanNumeral Int

instance Show RomanNumeral where
    show (RomanNumeral x) = -- your code for converting a roman numeral to a string

instance Read RomanNumeral where
    readsPred d r = -- your code for reading a string into an integer and then return a RomanNumeral

Answer 2

使用 reads 效果不佳，因为它需要令牌，它不会分裂，例如"XIV" 变成"X" 和"IV" 得到两个可解析部分，因为它们属于同一个字符类，所以将整个字符序列视为一个标记。您可以为罗马数字编写自己的解析器（您应该尝试，编写解析器很有趣）来处理特殊序列。

一个简单的方法是

module Roman where

import Data.Char as C

data RomanNumeral = I | IV | V | IX | X | XL | L | XC | C | CD | D | CM | M
    deriving (Eq, Ord, Show, Read)

stringToRomanNumeral :: String -> Maybe [RomanNumeral]
stringToRomanNumeral = fmap collate . sequence . map (toRom . C.toUpper)
  where
    romDict = zip "IVXLCDM" [I,V,X,L,C,D,M]
    toRom = flip lookup romDict

collate :: [RomanNumeral] -> [RomanNumeral]
collate (x:ys@(y:zs)) = case lookup (x,y) collationDict of
                          Just v -> v : collate zs
                          Nothing -> x : collate ys
collate xs = xs

collationDict :: [((RomanNumeral,RomanNumeral),RomanNumeral)]
collationDict =
    [ ((I,V),IV)
    , ((I,X),IX)
    , ((X,L),XL)
    , ((X,C),XC)
    , ((C,D),CD)
    , ((C,M),CM)
    ]

它也不是很灵活，任何坏字符都会导致Nothing 结果，但这很容易修改（例如，可以使用catMaybes 而不是sequence 来简单地忽略无效字符）。并且它不检查一般（现代）“递减值”规则（这使得将“IX”解释为 9 而不是 11 成为可能）。但是可以在解析后检查有效性。