Ada, the Language That Created Its Own Design and Language

Amid the software chaos of the U.S. Department of Defense in the 1970s, Ada emerged with strong static typing, specification-implementation separation, encapsulation, concurrency, and contract-based design as its core principles.

• The DoD spent years refining requirements to bring order to a situation where over 450 languages and dialects were proliferating, and established design principles through the Steelman document.
• After a competition in 1979, Jean Ichbiah's Green team was selected, and the language was named Ada in honor of Ada Lovelace.

The core of Ada is its package structure. The specification and body are physically separated, and clients only see the published contract. private type hides internal representation, providing complete encapsulation.

The type system is also strong. Range-constrained types like type Age is range 0 .. 150 catch domain errors at compile time, and discriminated record offers expressive power similar to modern sum types / ADTs.

generic provides static polymorphism that parameterizes types, values, subprograms, and packages, overcoming the limitations of languages with significant runtime type loss.

Concurrency is built into the language. Early Ada's task and rendezvous provided a message-passing-based model, and Ada 95's protected object supported safe synchronization. On top of this, SPARK Ada adds formal verification, attempting to mathematically exclude data races, range errors, and violations of pre/postconditions.

Ada 2012's contracts incorporated precondition, postcondition, and invariant at the language level, and Ada 2005's not null reduced null references at compile time. Exception handling is also structurally designed, making exception propagation clear.

The standard separates extension features through an Annex structure, and supports domain-specific independent certification and ACATS conformance verification. Because of these characteristics, Ada is still used today in high-reliability systems such as aviation, rail, and defense.

Although its public recognition is low, it is summarized as a language that presented many principles long ago that modern languages have only belatedly adopted.