型によるプログラミング Maybe型:欠損値に対処する Maybe:型を使って欠損値に対処する Nothingと型
入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT3(型によるプログラミング)、LESSON19(Maybe型:欠損値に対処する)、19.1(Maybe:型を使って欠損値に対処する)、クイックチェック 19-1の解答を求めてみる。
Maybe Organ型。実際に確認。
コード
import Data.Map as Map
data Organ = Heart
organs :: [Organ]
organs = [Heart]
ids :: [Integer]
ids = [2]
organPairs :: [(Integer, Organ)]
organPairs = zip ids organs
organCatalog :: Map Integer Organ
organCatalog = Map.fromList organPairs
o :: Maybe Organ
o = Map.lookup 6 organCatalog
入出力結果(Terminal, Zsh)
% ghci
GHCi, version 8.10.7: https://www.haskell.org/ghc/ :? for help
Loaded package environment from /Users/…/.ghc/x86_64-darwin-8.10.7/environments/default
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 sample01.hs
[1 of 1] Compiling Main ( sample01.hs, interpreted )
Ok, one module loaded.
(0.16 secs,)
*Main
λ> :t o
o :: Maybe Organ
*Main
λ> :quit
Leaving GHCi.
%