計算機科学のブログ

型の紹介 型クラスを使用する スーパークラス、インスタンス

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT2(型の紹介)、LESSON14(型クラスを使用する)、14.10(練習問題)Q14-2の解答を求めてみる。

コード

data FiveSidedDie = S1 | S2 | S3 | S4 | S5 deriving (Show, Enum)

class (Enum a) => Die a where
  myEven :: a -> Bool
  myOdd :: a -> Bool
  myOdd = not . myEven

instance Die FiveSidedDie where
  myEven s = even $ fromEnum s + 1

s :: [FiveSidedDie]
s = [S1, S2, S3, S4, S5]

e :: [Bool]
e = map myEven s

o :: [Bool]
o = map myOdd s

main :: IO ()
main = do
  putStrLn "面のリスト"
  print s
  putStrLn "偶数かどうか"
  print e
  putStrLn "奇数かどうか"
  print o

入出力結果(Terminal, Zsh)

% runghc sample2.hs
面のリスト
[S1,S2,S3,S4,S5]
偶数かどうか
[False,True,False,True,False]
奇数かどうか
[True,False,True,False,True]
%