Quelques définitions
Typage des langages de programmation

Les types peuvent être classés en deux catégories. Les types dits primitifs sont ceux de données de base directement fournies par la machine, comme les entiers ou les booléens mentionnés ci-dessus. Les types composés, quant à eux, sont construits à partir d’un ou plusieurs types. Les exemples les plus classiques de types composés sont les types de conteneurs, tels les tableaux ou les listes, mais les produits (par exemple, les enregistrements) et les unions de plusieurs types sont aussi des types composés. Les structures de C sont des exemples de types produits, et les types algébriques, que le langage OCaml permet de définir, correspondent à des unions discriminées. Des éléments comme les objets peuvent être, eux aussi, vus comme appartenant à des types composés, en classant dans un même type les objets exposant les mêmes méthodes. L’appartenance à un type n’est...