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