Un tipo de datos define un conjunto de valores y operaciones primitivas aplicables a los mismos. El lenguaje proporciona tipos predefinidos junto con mecanismos para que el usuario pueda definir nuevos tipos, así como tipos derivados y subtipos de tipos ya definidos. Los tipos se agrupan en categorías formando una jerarquía.
La siguiente lista muestra parte del sistema de tipos de Ada:
Créditos