再帰データ型
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/02/17 16:09 UTC 版)
再帰型（英: recursive type）とは、型の定義中にそれ自身の型が出現するような再帰する型のこと。相互再帰により直接は現れないものもある。再帰データ型（英: recursive data type）とは、データ型における再帰型のこと。
- ^ (More) Recursive Type Aliases - Announcing TypeScript 3.7 - TypeScript
- ^ Benjamin C. Pierce「19.3 名前的型システムと構造的型システム」『型システム入門 −プログラミング言語と型の理論−』オーム社、2013年3月26日。ISBN 978-4274069116。
- ^ a b Benjamin C. Pierce『型システム入門 −プログラミング言語と型の理論−』オーム社、2013年3月26日。ISBN 978-4274069116。
[続きの解説]
「再帰データ型」の続きの解説一覧
- 1 再帰データ型とは
- 2 再帰データ型の概要
- 3 例
- 4 参照
- 再帰データ型のページへのリンク
