Programmation type d’une donnée pouvant conceptuellement contenir d’autres données, qu’elles soient dans son espace d’adressage (par exemple un tableau de type primitifs) ou non (par exemple une liste de pointeurs).