Haskell - モジュール((Data.Mapモジュールのlookup関数、Either型(ローマ数字を数値に変換))

すごいHaskellたのしく学ぼう!
(オーム社)
Miran Lipovača (著)
田中 英行 村主 崇行 (翻訳)
[Kindle版]

開発環境

• OS X Lion - Apple(OS)
• Emacs、BBEdit - Bare Bones Software, Inc. (Text Editor)
• Haskell (純粋関数型プログラミング言語)
• GHC (The Glasgow Haskell Compiler) (処理系)

『初めてのプログラミング 第2版』(Chris Pine 著、長尾 高弘 訳、オライリー・ジャパン、2010年、ISBN978-4-87311-469-9)の12章(新しいクラスのオブジェクト), 12.6(練習問題の続き)、roman_to_integer 'mcmxcix'!をHaskellで解いてみる。

その他参考書籍

• プログラミングHaskell (オーム社) Graham Hutton(著) 山本 和彦(翻訳)
• Real World Haskell―実戦で学ぶ関数型言語プログラミング (オライリージャパン) Bryan O'Sullivan John Goerzen Don Stewart(著) 山下 伸夫 伊東 勝利 株式会社タイムインターメディア(翻訳)

romanToInteger

コード(BBEdit)

sample.hs

{-# OPTIONS -Wall -Werror #-}

import qualified Data.Char as Char
import qualified Data.Map as Map

main :: IO ()
main = do
    mapM_ putStrLn $ map (\x -> x ++ ": " ++ 
                                (eitherToString $ romanToInteger x))
                         ["abcde", "mcmxcix", "MCMXCIX"]

eitherToString :: Either String Integer -> String
eitherToString (Left a) = a
eitherToString (Right a) = (show a)

romanToInteger :: String -> Either String Integer
romanToInteger xs =
    romanCharToInteger xs 0 0

romanIntMap :: Map.Map Char Integer
romanIntMap = Map.fromList $
    [('m', 1000),
     ('d', 500),
     ('c', 100),
     ('l', 50),
     ('x', 10),
     ('v', 5),
     ('i', 1)]

romanCharToInteger :: String -> Integer -> Integer -> 
    Either String Integer
romanCharToInteger [] _ b = Right b
romanCharToInteger xs a b =
    let c = Char.toLower $ last xs
        d = init xs
        e = Map.lookup c romanIntMap
    in case e of
            Nothing -> Left "有効なローマ数字ではない!"
            Just f -> if f >= a
                      then romanCharToInteger d f (b + f)
                      else romanCharToInteger d a (b - f)

入出力結果(Terminal, runghc)

$ runghc sample.hs
abcde: 有効なローマ数字ではない!
mcmxcix: 1999
MCMXCIX: 1999
$