|
再帰データ型または再帰型（Recursive Type）とは、プログラミング言語におけるデータ型の一種であり、同型の複数の値を含む構造になっているデータ型を指す。 == 例 == 例として、Haskell言語でのリスト型を示す:
これは、リスト a は空のリストの場合と 'a' を先頭に持つリストの場合があることを示している。 MirandaやHaskellの型シノニム宣言では再帰は許されていないので、以下のような Haskell での型定義は不正である:
逆に、見た目は等価に思える代数データ型は正当であり利用可能である:
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「再帰データ型」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Recursive data type 」があります。 スポンサード リンク
|