Ada
Ada was commissioned by the U.S. Department of Defense for systems where a failure costs lives. Its strong typing, strict checks and concurrency support make it the standard in avionics, railways, defense and critical embedded systems.
- Creado por Jean Ichbiah (encargo del DoD de EE.UU.)
- Año 1980
- Paradigma: Imperative · compiled
- Extensiones: .adb, .ads
Para qué se usa
- Avionics & aerospace
- Critical systems
- Defense & railways
A favor
- Very reliable and safe
- Extremely strong typing
- Great for real-time
En contra
- Verbose
- Learning curve
- Niche
Ecosistema
- GNAT
- SPARK
- Alire
- GtkAda
Ejemplo
with Ada.Text_IO;
procedure Hola is
begin
Ada.Text_IO.Put_Line("¡Hola, mundo!");
end Hola;