10.1 typeによる型宣言
typeキーワードは型のエイリアスに名前をつける方法。再帰定義はできない。
type Assoc k v = [(k,v)] find :: Eq k => k -> Assoc k v -> v find k t = head [v | (k',v) <- t, k == k']
newtypeキーワードは教科書に出て来てないなあ。
10.2 dataによる型宣言
dataはデータコンストラクタ（構築子）を並べる型宣言。
下の例だと、Left、Right、Up、Downが引数なしのデータコンストラクタ。
要するに、型Moveは列挙型ということ。
-- nullary data constructor type Pos = (Int,Int) data Move = Left_ | Right_ | Up_ | Down_ move :: Move -> Pos -> Pos move Left_ (x,y) = (x-1, y) move Right_ (x,y) = (x+1, y) move Up_ (x,y) = ( x,y-1) move Down_ (x,y) = ( x,y+1) moves :: [Move] -> Pos -> Pos moves [] p = p moves (m:ms) p = moves ms (move m p) flip :: Move -> Move flip Left_ = Right_ flip Right_ = Left_ flip Up_ = Down_ flip Down_ = Up_
下の例は、Circleが1引数のデータコンストラクタ、Rectが2引数のデータコンストラクタ。
-- unary/binary data constructor data Shape = Circle Float | Rect Float Float square :: Float -> Shape square n = Rect n n area :: Shape -> Float area (Circle r) = pi * r ^ 2 area (Rect x y) = x * y
多相型（型引数付き）も定義可能。ここでMaybe aが例に登場。
-- polymorphic data constructor with a type parameter -- (data Maybe a = Nothing | Just a) safediv :: Int -> Int -> Maybe Int safediv _ 0 = Nothing safediv m n = Just (m `div` n) safehead :: [a] -> Maybe a safehead [] = Nothing safehead xs = Just (head xs)
