Théorie des types Dans la théorie des types, couramment utilisée dans les langages de programmation, un tuple a un type de produit ; ceci corrige non seulement la longueur, mais aussi les types sous-jacents de chaque composant.
Chacun des objets de la liste a un certain type.