Haskell - コンテキストでの型の操作 - do表記を使ってMonadを扱いやすくする - do表記を使って同じコードを異なるコンテキストで再利用する - Maybeコンテキスト
入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)の UNIT5(コンテキストでの型の操作)、LESSON 31(do表記を使ってMonadを扱いやすくする)、31.2(do表記を使って同じコードを異なるコンテキストで再利用する)、クイックチェック 31-4の解答を求めてみる。
コード
sample4.hs
main :: IO ()
main = do
mapM_ (\val -> putStrLn $ mconcat [show val, ": ", show $ f val])
[Nothing, Just "", Just "a"]
f :: Maybe String -> String
f Nothing = "error id not found"
f (Just val) = val
入出力結果(Terminal, Zsh)
% runghc sample4.hs
Nothing: "error id not found"
Just "": ""
Just "a": "a"
%