Types et sûreté

En Java, les types sont répartis en quatre grandes catégories :

• les types primitifs,
• les types de tableaux (§ 2.7),
• les classes (chap. 3)
• et les interfaces (§ 4.3, § 4.3).

Leur importance des provient de ce que les programmes sont eux-mêmes des collections de types, et de ce que la sécurité des applications repose largement sur des propriétés qui leur sont liées.