|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 再 ： [さい] 1. (pref) re- 2. again 3. repeated ・ 再帰 ： [さいき] (n) recursive ・ 型 ： [かた] 【名詞】 1. mold 2. mould 3. model 4. style 5. shape 6. data type
再帰データ型または再帰型（Recursive Type）とは、プログラミング言語におけるデータ型の一種であり、同型の複数の値を含む構造になっているデータ型を指す。 == 例 == 例として、Haskell言語でのリスト型を示す:
これは、リスト a は空のリストの場合と 'a' を先頭に持つリストの場合があることを示している。 MirandaやHaskellの型シノニム宣言では再帰は許されていないので、以下のような Haskell での型定義は不正である:
逆に、見た目は等価に思える代数データ型は正当であり利用可能である:
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「再帰データ型」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Recursive data type 」があります。 スポンサード リンク
|