計算機科学のブログ

型の紹介 - カスタム型の作成 - レコード構文を使用する - フィールド

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)の UNIT2(型の紹介)、LESSON 12(カスタム型の作成)、12.3(レコード構文を使用する)、クイックチェック 12-3の解答を求めてみる。

コード

sample3.hs

main :: IO ()
main = do
  print $ showName $ name jackieSmith

type FirstName = String
type LastName = String
type MiddleName = String
data Name = Name FirstName LastName |
    NameWithMiddleName FirstName MiddleName LastName

showName :: Name -> String
showName (Name f l) = f ++ " " ++ l
showName (NameWithMiddleName f m l) = f ++ " " ++ m ++ " " ++ l

data Sex = Male | Female

data RhType = Pos | Neg
data ABOType = A | B | AB | O
data BloodType = BloodType ABOType RhType

data Patient = Patient {
    name :: Name,
    sex :: Sex,
    age :: Int,
    height :: Int,
    weight :: Int,
    bloodType :: BloodType
}
jackieSmith :: Patient
jackieSmith = Patient {
    name = Name "Jackie" "Smith",
    age = 4,
    sex = Female,
    height =62,
    weight = 115
    ,bloodType = BloodType O Neg
    }

入出力結果(Terminal, Zsh)

% runghc sample3.hs 
"Jackie Smith"
%