Application aux types récursifs

Une classe est définie récursivement, ou est récursive, si l'un de ses champs a pour type cette classe. Plus généralement, on peut définir un ensemble de types mutuellement récursifs, de façon analogue aux fonctions mutuellement récursives. Cet auto-référencement est permis précisément parce que la valeur du champ est

• une référence à un objet (et non l'objet lui-même)
• ou bien la valeur nulle (null).