Scala 3 で一般の再帰型を作る - Qiita

再帰型（英: recursive type）とは、型の定義中にそれ自身の型が出現するような再帰する型のこと。 出典: 再帰データ型 - Wikipedia Scala で一般の equirecursive type を作る方法を述べる。特に、Scala 3 の match type を利用すると equirecursive type がキャスト無しで実現できることを述べる。 再帰データ型 まず、データ型 D が再帰データ型であるとは、 D の定義が D に言及することである。 Scala ではリスト構造を表現するために scala.collection.immutable.List という単方向連結リスト構造をよく使う。List は実際には共変型引数 A を持つ List[+A] として定義されているが、簡単のため A = Int と特殊化し、List[Int] のことを考えてみることにす

[Windymelt]

こりーさんの型トークキタ！！！