This is a non-comprehensive list that hopefully sheds light on which kind of programming Ada is good at. In terms of modern languages, the closest in terms of targets and level of abstraction are probably …

Every type declaration in Ada starts with the type keyword (except for task types (page158)). Afterthetype,wecanseearangethatlooksalotliketherangesthatwe …

Ada is truly a general purpose, multiple paradigm language that allows the programmer to employ or avoid features like run-time contract checking, tasking, object oriented programming, and generics.

Ada'sphilosophyisdifferentfrommostotherlanguages.UnderlyingAda'sdesignareprin- ciplesthatincludethefollowing: …

This section describes Ada's if statement and introduces several other fundamental language facilities including integer I/O, data declarations, and subprogram parameter modes.

Ada encourages the separation of programs into multiple packages and sub-packages, providing many tools to a programmer on a quest for a perfectly organized code-base.

Objects can be protected from concurrent access using Ada tasks. In fact, this was the only way of protecting objects from concurrent access in Ada 83 (the first version of the Ada language).

This tutorial is an introduction to the SPARK programming language and its formal verification tools. You need not know any specific programming language (although going over the Introduction to Ada …

In this section, we'll discuss an useful pattern for object-oriented programming in Ada: classwide access type. Let's start with an example where we declare a tagged type T and a derived type T_New:

In Ada, a view of an entity defines what the developer can legally do with that entity. For example, the declaration of an object defines a view of that object.