• Share
  • Email
  • Embed
  • Like
  • Save
  • Private Content
Lecture2
 

Lecture2

on

  • 315 views

 

Statistics

Views

Total Views
315
Views on SlideShare
315
Embed Views
0

Actions

Likes
0
Downloads
1
Comments
0

0 Embeds 0

No embeds

Accessibility

Categories

Upload Details

Uploaded via as Apple Keynote

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n

Lecture2 Lecture2 Presentation Transcript

  • Haskell講義(2) yingtai
  • 3. Types andTypeclasses
  • 今日は皆さんに• 型の勉強をしてもらいます
  • 型• いろいろあります
  • 型• Int, Integer• Float, Double• Char• Bool
  • 型• [Int], [Char], ...• [[Int]], [[Char]], ...• (Int, String) ...
  • 型• 関数にも型があります• (+) :: Int -> Int -> Int• (+) 1 2 -- = 3
  • 型変数• どんな型も取りうる
  • 型クラス• 型の振る舞いを定義する
  • Eq 型クラス• 等値性を定義できる型• Int, Bool, ...(いろいろ)• (==), (/=)
  • Ord 型クラス• Order (順序) を定義できる型• (<), (>), (<=), (>=)
  • Show 型クラス• 文字列として表現できる型• show とか
  • Read 型クラス• Show と対をなす型クラス• 文字列から戻せる型• read とか
  • Enum 型クラス• 値を列挙できる型• succ, pred など• [ a .. e ]
  • Bounded 型クラス• 上限と下限を持つ型• minBound, maxBound
  • Num 型クラス• 数の型クラス• Int, Integer, Double, Float など
  • Floating 型クラス• 浮動小数点数• Double, Float など
  • Integral 型クラス• 整数• Int, Integer など
  • 他に• Monadとかも型クラスです
  • 関係