前回の振り返り 2章 型を信じろ Char Bool Float Integer など 型変数 どんな型も取りうる 型クラス 関数の集まり Eq Ord Show Read Enum Bounded Num Floating Integral 例 (+) class Num Prelude> :t (+) (+) :: Num a => a -> a -> a 全部同じ型でなければならない。 ただし、下のように型推論してくれるところは、あるよ。 Prelude> 1.0 + 10 11.0 ただしこちらはエラー Prelude> (1.0 + 10) `div` 10 理由は、型が合わないから Prelude> :t div div :: Integral a => a -> a -> a こういうのはおーけー Prelude> (floor 1.0) `div` 3 0 Prelude>