再帰データ型

再帰データ型または再帰型（Recursive Type）とは、データ型の一種であり、代数的データ型として定義したならば、定義の右辺中にそれ自身の型が出現するような型である。直接は現れない（相互再帰）ものもある。