Ada
/AY-duh/ · noun · Development · Origin: 1980
Definitions
Ada is a statically typed, high-level programming language originally designed in the early 1980s for the United States Department of Defense to address the problem of having hundreds of different programming languages across military systems. Named after Ada Lovelace, who is widely regarded as the first computer programmer, the language emphasizes reliability, safety, and maintainability. Ada features strong typing, modular programming, run-time checking, parallel processing, and exception handling built into the language specification. It is used extensively in safety-critical and real-time systems including avionics, air traffic control, railways, medical devices, and space systems. The language influenced the design of many subsequent languages and remains actively developed, with the latest standard being Ada 2022. SPARK, a formally verifiable subset of Ada, is used where mathematical proof of correctness is required.
In plain English: A programming language used in airplanes, missiles, and trains — systems where a bug could literally be life-threatening.
Example: Every line of avionics code in that Boeing 787 is written in Ada — when you're flying at 40,000 feet, you want strong typing.
Etymology
- 1975
- The US Department of Defense initiates the common programming language project, seeking one language for all embedded systems.
- 1980
- Jean Ichbiah's team at CII Honeywell Bull delivers Ada, named after Ada Lovelace. MIL-STD-1815 is published.
- 1995
- Ada 95 becomes the first internationally standardized object-oriented language (ISO/IEC 8652).
- 2010s
- Ada remains critical in aerospace, defense, and safety-critical systems (avionics, rail signaling). SPARK subset enables formal verification.
Origin Story
The Pentagon's language named after the world's first programmer
In the 1970s, the U.S. Department of Defense found it was maintaining over **450 different programming languages** across its weapons systems. In 1980, after a competitive evaluation of proposals, they selected Jean Ichbiah's design and named it **Ada**.
The name honors **Augusta Ada King, Countess of Lovelace** (Ada Lovelace), who wrote what is widely considered the first computer program in 1843 -- an algorithm for Charles Babbage's Analytical Engine to compute Bernoulli numbers.
Ada was designed for safety-critical and real-time systems. It features strong typing, range checking, and built-in concurrency. The DoD mandated its use from 1987 to 1997. Today it's used in aviation (Boeing 777 flight software), rail systems, and military applications where reliability is non-negotiable.
Coined by: Jean Ichbiah (designer); named by the U.S. DoD
Context: U.S. Department of Defense, 1980
Fun fact: The MIL-STD-1815 standard for Ada was numbered after Ada Lovelace's birth year (1815). Ada Lovelace Day is celebrated annually on the second Tuesday of October.