計算機科学のブログ

型の紹介 - 型クラスを使用する - class, instanceキーワード、Eqクラス、Enumクラス、toEnumメソッド

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

コード

sample.hs

main :: IO ()
main = do
  mapM_
    (\n -> print (roll n :: FiveSideDice))
    [0 .. 10]

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

class (Eq a, Enum a) => Die a where
  roll :: Int -> a

instance Die FiveSideDice where
  roll :: Int -> FiveSideDice
  roll n = toEnum $ mod n 5

入出力結果(Terminal, Zsh)

% runghc sample.hs
S1
S2
S3
S4
S5
S1
S2
S3
S4
S5
S1
%