![型シノニム (エイリアス)
type String = [Char]
type PhoneNumber = String
type Name = String
type PhoneBook = [(Name, PhoneNumber)]
type AssocList k v = [(k, v)]
新しい型を定義するわけではない
最後の式は多相的な型シノニムの例](https://image.slidesharecdn.com/haskell7-121024063639-phpapp01/85/Haskell-7-7-320.jpg)
![再帰的なデータ型 (2)
infixr 5 :-:
data List a = Empty | a :-: (List a)
deriving (Eq, Ord, Show, Read)
infixr 5 ^++
(^++) :: [a] -> [a] -> [a]
Empty ^++ ys = ys
(x :-: xs) ^++ ys = x :-: (xs ^++ ys)](https://image.slidesharecdn.com/haskell7-121024063639-phpapp01/85/Haskell-7-12-320.jpg)
More Related Content
What's hot (20)
Viewers also liked (20)
![[db tech showcase Tokyo 2016] B15: サイバーエージェント アドテクスタジオの次世代データ分析基盤紹介 by 株式会社サイ...](https://cdn.slidesharecdn.com/ss_thumbnails/6i9kohhirrcoablwy2vg-signature-de1723da869232faf642797bf4411177191c3ef937923c1c3c4b18848e6dd30c-poli-160721053413-thumbnail.jpg?width=560&fit=bounds)
Similar to すごいHaskell 第7章 型や型クラスを自分で作ろう(前編) (20)
すごいHaskell 第7章 型や型クラスを自分で作ろう(前編)
- 1. 第7章 型や型クラスを自 分で作ろう(前編) 「すごいHaskell」 pp. 111-151
- 2. 用語 ● 値コンストラクタ = データ型の値を返す関数 ● 型コンストラクタ = 型を引数に取って具体型を返す ● 型引数 = 型コンストラクタに対する引数 (通常の型) ● 具体型 = 型引数を一つも取らないか、すべての型引数が埋 まっている型 ● 多相型 = 型引数を持つ型
- 3. データ型の定義 data Bool = False | True deriving (Ord) data Day = Monday | Tuesday | Wednesday | Thursday | Friday | Saturday | Sunday deriving (Eq, Ord, Show, Read, Bounded, Enum)
- 4. データ型の定義 (2) data Point = Point Float Float deriving (Show) data Shape = Circle Point Float | Rectangle Point Point deriving (Show) area (Circle _ r) = pi * r ^ 2 area (Rectangle (Point x1 y1) (Point x2 y2)) = (abs $ x2 - x1) * (abs $ y2 - y1) 左辺の Point はデータ型 右辺の Point は値コンストラクタ 値コンストラクタは引数を取れる
- 5. レコード構文 data Car = Car { company :: String, model :: String, year :: Int } deriving (Eq, Show) car = Car {company="Ford", model="Mustang", year=1967}
- 6. 型引数と型コンストラクタ data Maybe a = Nothing | Just a data Either a b = Left a | Right b deriving (Eq, Ord, Read, Show) この例の a や b が型引数 Maybe や Either が型コンストラクタ
- 7. 型シノニム (エイリアス) type String = [Char] type PhoneNumber = String type Name = String type PhoneBook = [(Name, PhoneNumber)] type AssocList k v = [(k, v)] 新しい型を定義するわけではない 最後の式は多相的な型シノニムの例
- 8. 代表的な型クラス ● Eq = 等価性テストができる ● Ord = 大小比較ができる ● Enum = 前後の値を取得できる, 範囲を指定できる ● Bounded = 上限と下限を持つ ● Show = 表示できる ● Read = 読み取れる
- 9. 型のエクスポート module Shape ( Point(..), Shape(..), area ) where (..) を付けると値コンストラクタが公開される 値コンストラクタを隠蔽すると抽象度が上がる
- 10. 型クラス制約 data Vector a = Vector a a a deriving (Show) vplus :: (Num a) => Vector a -> Vector a -> Vector a dotProd :: (Num a) => Vector a -> Vector a -> a vmult :: (Num a) => Vector a -> a -> Vector a データ宣言には型クラス制約を付けない規約
- 11. 再帰的なデータ型 data Tree a = EmptyTree | Node a (Tree a) (Tree a) deriving (Show) singleton :: a -> Tree a treeElem :: (Ord a) => a -> Tree a -> Bool
- 12. 再帰的なデータ型 (2) infixr 5 :-: data List a = Empty | a :-: (List a) deriving (Eq, Ord, Show, Read) infixr 5 ^++ (^++) :: [a] -> [a] -> [a] Empty ^++ ys = ys (x :-: xs) ^++ ys = x :-: (xs ^++ ys)
- 13. 型クラスの定義 class Eq a where (==) :: a -> a -> Bool (/=) :: a -> a -> Bool ... class (Eq a) => Num a where ...
- 14. インスタンスの手動導出 data TrafficLight = Red | Yellow | Green instance Show TrafficLight where ... instance Eq (Maybe m) where (Just x == Just y) = (x == y) (Nothing == Nothing) = True (_ == _) = False
- 15. 型の調べ方 Prelude> :info Bool data Bool = False | True -- Defined in `GHC.Types' instance Bounded Bool -- Defined in `GHC.Enum' instance Enum Bool -- Defined in `GHC.Enum' instance Eq Bool -- Defined in `GHC.Classes' instance Ord Bool -- Defined in `GHC.Classes' instance Read Bool -- Defined in `GHC.Read' instance Show Bool -- Defined in `GHC.Show'
- 16. 型クラスの調べ方 Prelude> :info Num class Num a where (+) :: a -> a -> a (*) :: a -> a -> a (-) :: a -> a -> a negate :: a -> a abs :: a -> a signum :: a -> a fromInteger :: Integer -> a -- Defined in `GHC.Num' instance Num Integer -- Defined in `GHC.Num' instance Num Int -- Defined in `GHC.Num' instance Num Float -- Defined in `GHC.Float' instance Num Double -- Defined in `GHC.Float'
- 17. 以下次回 ● Functor型クラス ● 種類 (kind)