1. Haskell講義(2)
yingtai

2. 3. Types and
Typeclasses

3. 今日は皆さんに
• 型の勉強をしてもらいます

4. 型
• いろいろあります

5. 型
• Int, Integer
• Float, Double
• Char
• Bool

6. 型
• [Int], [Char], ...
• [[Int]], [[Char]], ...
• (Int, String) ...

7. 型
• 関数にも型があります
• (+) :: Int -> Int -> Int
• (+) 1 2 -- = 3

8. 型変数
• どんな型も取りうる

9. 型クラス
• 型の振る舞いを定義する

10. Eq 型クラス
• 等値性を定義できる型
• Int, Bool, ...(いろいろ)
• (==), (/=)

11. Ord 型クラス
• Order (順序) を定義できる型
• (<), (>), (<=), (>=)

12. Show 型クラス
• 文字列として表現できる型
• show とか

13. Read 型クラス
• Show と対をなす型クラス
• 文字列から戻せる型
• read とか

14. Enum 型クラス
• 値を列挙できる型
• succ, pred など
• [ a .. e ]

15. Bounded 型クラス
• 上限と下限を持つ型
• minBound, maxBound

16. Num 型クラス
• 数の型クラス
• Int, Integer, Double, Float など

17. Floating 型クラス
• 浮動小数点数
• Double, Float など

18. Integral 型クラス
• 整数
• Int, Integer など

19. 他に
• Monadとかも型クラスです

20. 関係