計算機科学のブログ

コンテキストでの型の操作 Monad型クラス do表記を使ってMonadを扱いやすくする do表記を使って同じコードを異なるコンテキストで再利用する 問題を解決するための準備

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT5(コンテキストでの型の操作)、LESSON31(do表記を使ってMonadを扱いやすくする)、31.2(do表記を使って同じコードを異なるコンテキストで再利用する)、問題を解決するための準備、クイックチェック 31-2の解答を求めてみる。

コード

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

data Degree = HS | BA | MS | PhD
  deriving (Eq, Ord, Enum, Show, Read)

data Candidate = Candidate
  { candidateId :: Int,
    codeReview :: Grade,
    cultureFit :: Grade,
    education :: Degree
  }
  deriving (Show)

viable :: Candidate -> Bool
viable candidate =
  let passedCoding = codeReview candidate > B
      passedCultureFit = cultureFit candidate > C
      educationMin = education candidate >= MS
      tests = [passedCoding, passedCultureFit, educationMin]
   in all (== True) tests

candidate1 :: Candidate
candidate1 =
  Candidate
    { candidateId = 1,
      codeReview = A,
      cultureFit = A,
      education = PhD
    }

candidate2 :: Candidate
candidate2 = Candidate 2 A F PhD

candidates :: [Candidate]
candidates = [candidate1, candidate2]

main :: IO ()
main = do
  mapM_ print candidates
  mapM_ (print . viable) candidates

入出力結果(Terminal, Zsh)

% runghc sample02.hs
Candidate {candidateId = 1, codeReview = A, cultureFit = A, education = PhD}
Candidate {candidateId = 2, codeReview = A, cultureFit = F, education = PhD}
True
False
%