Ada

Ada fue creado por encargo del Departamento de Defensa de EE.UU. para sistemas donde un fallo cuesta vidas. Su tipado fuerte, sus comprobaciones estrictas y su soporte para concurrencia lo hacen el estándar en aviónica, ferrocarriles, defensa y sistemas embebidos críticos.

• Creado por Jean Ichbiah (encargo del DoD de EE.UU.)
• Año 1980
• Paradigma: Imperativo · compilado
• Extensiones: .adb, .ads

Para qué se usa

• Aviónica y aeroespacial
• Sistemas críticos
• Defensa y ferrocarriles

A favor

• Muy fiable y seguro
• Tipado fortísimo
• Ideal para tiempo real

En contra

• Verboso
• Curva de aprendizaje
• Nicho

Ecosistema

• GNAT
• SPARK
• Alire
• GtkAda

Ejemplo

with Ada.Text_IO;
procedure Hola is
begin
   Ada.Text_IO.Put_Line("¡Hola, mundo!");
end Hola;