Haskellのtype
Haskellでtype aliasを宣言するtypeについて
type aliasを宣言する
既存の型に別名を付ける
新しい型を作っているわけではない
コンパイラにはなんの新情報も与えない
型注釈ではどちらを使っても全く同じものとして評価される
例
code:hs
code:hs
type FilePath = String
再帰的定義はできない
instance宣言に対して使えない
type Age = Intに対して、
instance C Ageのように定義できない
参考