データ型とは、以下の三つにより定まる。 - その型の項を作る方法 - その型からの関数を作る方法 - 上記の二つの間の関係 そして帰納型とは、データ型のうち fold することができるものである。
データ型とは、以下の三つにより定まる。
そして帰納型とは、データ型のうち fold することができるものである。