En Java, l'importance des types provient de ce que les programmes sont eux-mêmes des collections de types. Ce n'est pas le cas de tous les langages, qui utilisent pourtant tous, une ou plusieurs notions de type.
