---
key: pl/ada
kind: plang
name: "Ada"
url: https://plangs.page/ada
---

# Ada

> High-level, structured, and object-oriented language with strong typing, used for reliability in mission-critical systems.

Structured, statically typed, imperative, and object-oriented high-level programming language, inspired by Pascal. It features built-in support for design by contract, strong typing, concurrency, synchronous message passing, protected objects, and non-determinism. Ada is primarily used in systems where safety and reliability are crucial, such as in avionics and other mission-critical systems. It is standardized internationally by ISO/IEC.

## Facts

- Appeared: 1980
- Homepage: https://www.adaic.org/
- Languish ranking: #170

## Relationships

### Paradigms

- [Concurrent](https://plangs.page/paradigm/concurrent)
- [Distributed](https://plangs.page/paradigm/distributed)
- [General-Purpose](https://plangs.page/paradigm/general-purpose)
- [Imperative](https://plangs.page/paradigm/imperative)
- [Metaprog](https://plangs.page/paradigm/metaprogramming)
- [Multi](https://plangs.page/paradigm/multi)
- [Object-Oriented](https://plangs.page/paradigm/oop)
- [Procedural](https://plangs.page/paradigm/procedural)
- [Structured](https://plangs.page/paradigm/structured)

### Platforms

- [Cross-Platform](https://plangs.page/platform/cross)
- [Linux](https://plangs.page/platform/linux)
- [Windows](https://plangs.page/platform/windows)

### Type Systems

- [Nominal](https://plangs.page/type-system/nominal)
- [Safe](https://plangs.page/type-system/safe)
- [Static](https://plangs.page/type-system/static)
- [Strong](https://plangs.page/type-system/strong)

### Dialect of

- [Pascal](https://plangs.page/pascal)

### Implemented By

- [GNAT](https://plangs.page/gnat)

### Influenced By

- [C++](https://plangs.page/c++)
- [Eiffel](https://plangs.page/eiffel)
- [Pascal](https://plangs.page/pascal)

### Influenced

- [C++](https://plangs.page/c++)
- [D](https://plangs.page/d)
- [Eiffel](https://plangs.page/eiffel)
- [Nim](https://plangs.page/nim)
- [Python](https://plangs.page/python)

### Tags

- [Application](https://plangs.page/tag/app)
- [Better-C](https://plangs.page/tag/better-c)
- [Compiler](https://plangs.page/tag/compiler)
- [DBMS](https://plangs.page/tag/dbms)
- [Embedded System](https://plangs.page/tag/embedded)
- [Industrial Control](https://plangs.page/tag/industrial)
- [Interpreter](https://plangs.page/tag/interpreters)
- [Ray Tracer](https://plangs.page/tag/ray-tracer)
- [Testing](https://plangs.page/tag/testing)
- [Visualization](https://plangs.page/tag/viz)