by shigemk2

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