ada Tutorial
Iniziare con Ada

Osservazioni

Versioni

Installazione o configurazione

Ada è un linguaggio di programmazione per il quale esistono più compilatori.

• Uno di questi compilatori, e forse il più usato, è GNAT. Fa parte della toolchain GCC. Può essere installato da diverse fonti:

  • La release GPL annuale fatta da AdaCore, disponibile gratuitamente sul sito libre . Questa versione ha subito tutti i test interni che AdaCore fa per le sue versioni professionali, è disponibile su un gran numero di piattaforme. Il compilatore e il suo runtime sono rilasciati sotto la licenza GPL e, a meno che non si utilizzi nessun runtime, tutti gli eseguibili che si distribuiscono saranno coperti da questa licenza. Per gli accademici e i progetti nelle loro fasi iniziali, questo non è un problema.

  • Gcc di FSF riceve regolarmente le stesse patch. La versione di GNAT potrebbe non essere sempre aggiornata, ma si raggiunge regolarmente.

  • Un certo numero di contributori sta confezionando la versione di FSF per varie distribuzioni Linux (sistemi basati su Debian, tra gli altri) e binari per Mac OS X. L'uso del gestore di pacchetti dalla distribuzione potrebbe essere il modo più semplice per installare GNAT. Tali versioni sono fornite con la licenza GCC standard e consentono di scrivere codice sorgente chiuso.

  • AdaCore fornisce anche GNAT Pro , che viene fornito con la licenza GCC standard che consente di scrivere codice sorgente chiuso. Ancora più importante, forse, viene fornito con il supporto, in caso di domande sull'uso del linguaggio, sugli strumenti, su come implementare al meglio qualcosa e, naturalmente, segnalazioni di bug e richieste di miglioramento.

Un altro numero di compilatori è elencato nell'Ada WikiBook , insieme alle istruzioni di installazione. Getadanow.com presenta edizioni di GNAT FSF, pronte per vari sistemi operativi su diversi tipi di hardware o macchine virtuali. Il sito raccoglie anche risorse per l'apprendimento e la condivisione di Ada.

Ciao mondo

with Ada.Text_IO;

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

In alternativa, dopo aver importato il pacchetto Ada.Text_IO , puoi use Ada.Text_IO; per poter utilizzare Put_Line senza dichiarare esplicitamente il pacchetto da cui proviene, in quanto tale:

with Ada.Text_IO; use Ada.Text_IO;

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

Se stai usando il compilatore gnat , questo semplice programma può essere compilato con

gnatmake hello_world

Questo genererà un numero di file, incluso un hello_world (o hello_world.exe su Windows) che puoi eseguire per vedere il famoso messaggio. Il nome dell'eseguibile viene calcolato automaticamente dal nome del sottoprogramma principale Ada. In Ada un sottoprogramma principale può avere qualsiasi nome. Deve solo essere una procedura senza parametri, che si fornisce come argomento per gnatmake .

Altri compilatori hanno requisiti simili, anche se ovviamente il comando di compilazione è diverso.

Versione

Il linguaggio di programmazione Ada standard è definito nel Manuale di riferimento Ada . Le modifiche alla versione provvisoria e le note di rilascio sono trattate nei documenti razionali corrispondenti. Le implementazioni tipicamente documentano la loro conformità allo standard sotto forma di guida per l'utente e / o manuale di riferimento, ad esempio .

• Ada 2012

  • Manuale di riferimento della lingua Ada 2012
  • Motivazione per Ada 2012

• Ada 2005

  • Manuale di riferimento della lingua Ada 2005
  • Motivazione per Ada 2005

• Ada 95

  • Ada 95 Language Reference Manua l
  • Motivazione per Ada 95

• Ada 83

  • Ada 83 Guida di riferimento Manua l
  • Ada 83 Razionale per la progettazione del linguaggio di programmazione Ada®

biblioteche

Come per qualsiasi linguaggio di programmazione, Ada viene fornito con ampie librerie per svolgere varie attività. Ecco alcuni suggerimenti su alcuni di essi, anche se la ricerca su Github ne porterà altri.

• Lo stesso runtime di Ada, distribuito da tutti i compilatori, include un ampio set di pacchetti e allegati, che vanno da strutture e contenitori di dati, input / output, manipolazione di stringhe, manipolazione del tempo, file, calcoli numerici, multi-tasking, commutatori a linea di comando, numeri casuali, ...

• Il compilatore GNAT viene fornito con un proprio runtime esteso, con nuovi pacchetti nella gerarchia GNAT , che forniscono supporto per espressioni regolari, ordinamento, ricerca, unicode, CRC, input / output tempo, ...

• gnatcoll è una libreria disponibile dal sito libre di AdaCore e include un ampio framework di registrazione, estendendo le applicazioni con python, mmap, un ampio framework per interfacciarsi con i file system, analizzare messaggi e-mail e cassette postali, un ampio framework per interagire con i database in un tipo sicuro, interfaccia a varie librerie come icona, readline, colori terminali, supporto per tipi conteggiati di riferimento per la gestione automatica della memoria, file JSON, ...

• XML / Ada è una libreria per analizzare e convalidare documenti XML

• GtkAda è un binding completo alla libreria gtk +, che consente di scrivere interfacce utente portatili su Unix, Windows e OSX.

• AWS è un framework per creare server Web in Ada, con supporto completo per vari protocolli come HTTP, Websockets, ... e il proprio sistema di template.