計算機科学のブログ

コンテキストでの型の操作 do表記を使ってMonadを扱いやすくする do表記を使って同じコードを異なるコンテキストで再利用する IO、コマンドラインツールの構築、Maybe、Just、Nothing

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT5(コンテキストでの型の操作)、LESSON 31(do表記を使ってMonadを扱いやすくする)、31.2(do表記を使って同じコードを異なるコンテキストで再利用する)、IO コンテキスト:コマンドラインツールを構築するのクイックチェック 31-3、Maybeコンテキスト:応募者のマップを操作するのクイックチェック 31-4の解答を求めてみる。

コード

data Grade = F | D | C | B | A deriving (Eq, Ord, Enum, Show, Read)

-- クイックチェック 31-3
readGrade :: IO Grade
readGrade = do
    line <- getLine
    (return . read) line

-- クイックチェック 31-4
simple :: Maybe String -> String
simple (Just s) = s
simple Nothing = "error id not found"

入出力結果(Terminal, Zsh)

% ghci
GHCi, version 8.10.6: https://www.haskell.org/ghc/  :? for help
macro 'doc' overwrites builtin command.  Use ':def!' to overwrite.
(0.00 secs, 0 bytes)
(0.00 secs, 0 bytes)
Loaded GHCi configuration from /Users/…/.ghc/ghci.conf
Prelude
λ> :load sample03.hs 
[1 of 1] Compiling Main             ( sample03.hs, interpreted )
Ok, one module loaded.
(0.11 secs,)
*Main
λ> readGrade 
A
A
it :: Grade
(1.20 secs, 82,792 bytes)
*Main
λ> readGrade 
D
D
it :: Grade
(2.30 secs, 78,472 bytes)
*Main
λ> re
read        readIO      readParen   realToFrac  repeat      reverse
readFile    readList    reads       recip       replicate
readGrade   readLn      readsPrec   rem         return
λ> readGrade 
Z
*** Exception: Prelude.read: no parse
*Main
λ> :load sample03.hs 
[1 of 1] Compiling Main             ( sample03.hs, interpreted )
Ok, one module loaded.
(0.04 secs,)
*Main
λ> simple (Just "Hello, world!")
"Hello, world!"
it :: String
(0.01 secs, 72,176 bytes)
*Main
λ> simple Nothing
"error id not found"
it :: String
(0.00 secs, 76,320 bytes)
*Main
λ> :quit
Leaving GHCi.
%