コンテキストでの型の操作 Monad型クラス do表記を使ってMonadを扱いやすくする同じコードを異なるコンテキストで再利用する Listコンテキスト:応募者のリストを処理する

入門Haskellプログラミング
 楽天ブックス
Yahoo!ショッピング
au PAY マーケット

開発環境

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

空のリストにも対処する。空のリストを返す。

実際に確認。

コード

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

data Candidate = Candidate
  { codeReview :: Grade
  }
  deriving (Show)

viable :: Candidate -> Bool
viable candidate =
  let passedCoding = codeReview candidate > B
      tests = [passedCoding]
   in all (== True) tests

assessCandidateList :: [Candidate] -> [String]
assessCandidateList candidates = do
  candidate <- candidates
  return $
    if viable candidate
      then "passed"
      else "failed"

candidates :: [Candidate]
candidates = [Candidate E]

main :: IO ()
main = do
  mapM_
    (print . assessCandidateList)
    [candidates, []]

入出力結果(Terminal, Zsh)

% runghc sample05.hs 
["failed"]
[]
%