再帰データ型
recursive data type
;
recursive type
データ型
（
data type
）
型理論
（
type theory
）
再帰呼び出し
、
再帰的呼び出し
、
リカーシブコール
（
recursive call
）
代数的データ型
（
Algebraic data type
）
ペアノの公理
（
Peano axioms
）
再帰データ型 - Wikipedia