$ whois ada

Ada

first released in 1980 · by Jean Ichbiah

$ guessprog --inspect ada

year: 1980
paradigm: multi paradigm
family: pascal
memory: manual
binding: static
safety: strong

ADA(7)

AUTHORS: Jean Ichbiah
HISTORY: In the 1970s the US Department of Defense was using hundreds of different programming languages across its projects and launched a competition for a single, safe language for embedded and mission-critical systems. The winning "Green" proposal came from a team led by Jean Ichbiah at CII Honeywell Bull in France. The language was named after Ada Lovelace, often called the first programmer, and its military standard number, MIL- STD-1815, is the year of her birth. The first standard, Ada 83, was published in 1983.
USAGE: A niche but important language for safety-critical software in avionics, railways, defence, space and air traffic control. Its SPARK subset is used where code must be formally proven correct.
SEE ALSO: Ada on Wikipedia ↗

$ cat days.adb

with Ada.Text_IO; use Ada.Text_IO;

procedure Days is
   type Day is (Mon, Tue, Wed, Thu, Fri, Sat, Sun);
   subtype Weekend is Day range Sat .. Sun;
begin
   for D in Day loop
      if D in Weekend then
         Put_Line (Day'Image (D) & " is for resting");
      else
         Put_Line (Day'Image (D) & " is for working");
      end if;
   end loop;
end Days;