ada Handledning
Komma igång med ada

Anmärkningar

versioner

Installation eller installation

Ada är ett programmeringsspråk för vilket det finns flera kompilatorer.

• En av dessa kompilatorer, och kanske den mest använda, är GNAT. Det är en del av GCC-verktygskedjan. Det kan installeras från flera källor:

  • Den årliga GPL-utgåvan gjord av AdaCore, tillgänglig gratis på libre-webbplatsen . Denna version har genomgått alla interna tester som AdaCore gör för sina pro release, finns på ett stort antal plattformar. Kompilatorn och dess körtid släpps under GPL-licensen, och såvida du inte använder någon körtid, kommer alla körbara filer som du distribuerar också att omfattas av denna licens. För akademiker och projekt i sina första steg är detta inte ett problem.

  • FSF gcc får samma fläckar regelbundet. Versionen av GNAT kanske inte alltid är uppdaterad, men kommer alltid in.

  • Ett antal bidragsgivare förpackar den FSF-versionen för olika Linux-distributioner (bland annat Debian-baserade system) och binärer för Mac OS X. Att använda pakethanteraren från din distribution kan vara det enklaste sättet att installera GNAT. Sådana versioner har standard GCC-licens och låter dig skriva stängd källkod.

  • AdaCore tillhandahåller också GNAT Pro , som kommer med standard GCC-licens som låter dig skriva stängd källkod. Ännu viktigare är det att det kommer med stöd, om du har frågor om språket, verktygen, hur du bäst implementerar något och naturligtvis bugrapporter och begäranden om förbättringar.

Ett annat antal kompilatorer listas i Ada WikiBook tillsammans med installationsinstruktioner. Getadanow.com har utgåvor av FSF GNAT, färdiga för olika operativsystem på flera typer av hårdvara eller virtuella maskiner. Webbplatsen samlar också resurser för att lära och dela Ada.

Hej världen

with Ada.Text_IO;

procedure Hello_World is
begin
   Ada.Text_IO.Put_Line ("Hello World");
end Hello_World;

Alternativt, efter att du har importerat paketet Ada.Text_IO , kan du säga use Ada.Text_IO; för att kunna använda Put_Line utan att uttryckligen förklara vilket paket det ska komma från, som sådant:

with Ada.Text_IO; use Ada.Text_IO;

procedure Hello_World is
begin
    Put_Line ("Hello World");
end Hello_World;

Om du använder gnat kompilatorn kan detta enkla program sammanställas med

gnatmake hello_world

Detta genererar ett antal filer, inklusive en hello_world (eller hello_world.exe på Windows) som du kan köra för att se det berömda meddelandet. Namnet på den körbara datorn beräknas automatiskt från namnet på huvudprogrammet Ada. I Ada kan ett huvudsubprogram ha valfritt namn. Det måste bara vara en parameterlös procedur som du ger som argument till gnatmake .

Andra kompilatorer har liknande krav, även om build-kommandot naturligtvis är annorlunda.

Version

Det vanliga Ada-programmeringsspråket definieras i Ada Referenshandbok . Interimsversionsändringar och utgivningsanteckningar diskuteras i motsvarande dokument. Implementeringar dokumenterar vanligtvis deras överensstämmelse med standarden i form av en användarhandbok och / eller referensmanual, till exempel .

• Ada 2012

  • Ada 2012 Språkreferensmanual
  • Motivering för Ada 2012

• Ada 2005

  • Ada 2005 Language Reference Manual
  • Motivering för Ada 2005

• Ada 95

  • Ada 95 Språkreferens Manua l
  • Motivering för Ada 95

• Ada 83

  • Ada 83 Språkreferens Manua l
  • Ada 83 Motivering för design av Ada®-programmeringsspråket

bibliotek

När det gäller alla programmeringsspråk kommer Ada med omfattande bibliotek för att utföra olika uppgifter. Här är några pekare till några av dem, även om sökning på github kommer att leda lite mer.

• Själva Ada-runtime, distribuerad kommer alla kompilatorer, innehåller en omfattande uppsättning paket och bilagor, allt från datastrukturer och containrar, till input / output, strängmanipulation, tidsmanipulation, filer, numeriska beräkningar, multi-tasking, kommandoradsväxlar, slumpmässiga siffror, ...

• GNAT-kompilatorn har sin egen utökade körtid, med nya paket i GNAT hierarkin, som ger stöd för regelbundna uttryck, sortering, sökning, unicode, CRC, tidsinmatning / -utgång, ...

• gnatcoll är ett bibliotek som är tillgängligt från AdaCores libre-webbplats och innehåller ett omfattande loggningsramverk, utökat applikationer med python, mmap, ett omfattande ramverk för gränssnitt med filsystem, analysera e-postmeddelanden och postlådor, ett omfattande ramverk för att interagera med databaser i en typsäkert sätt, gränssnitt till olika bibliotek som ikon, readline, terminalfärger, stöd för referensräknade typer för automatisk minneshantering, JSON-filer, ...

• XML / Ada är ett bibliotek för att analysera och validera XML-dokument

• GtkAda är en fullständig bindning till gtk + -biblioteket, så att vi kan skriva bärbara användargränssnitt på Unix, Windows och OSX.

• AWS är ett ramverk för att skapa webbservrar i Ada, med fullt stöd för olika protokoll som HTTP, Websockets, ... och sitt eget mallsystem.