12月6日の学び

型（データ型）と型クラス

• 両者は別の概念
• 型クラスのインスタンスが型（データ型）
• Javaで例えるなら「型のSuperクラスが型クラス」というイメージ
• 数の型クラスである'Numクラス'のインスタンスが'Int' 'Integer' 'Float' 'Double'

Prelude> :t 20
20 :: Num p => p
Prelude> 20 :: Int
20
Prelude> 20 :: Integer
20
Prelude> 20 :: Float
20.0
Prelude> 20 :: Double
20.0