Structure d'un programme Ada

Modules externes utilisés

procedure Nom_du_programme is

decl. données:

identificateurs + valeurs + types

actions

• Modules externes: unités de programme extérieures nécessaires pour la description du programme.
  

• Librairie: Ada possède une importante variété de modules prédéfinis avec toute sorte d'utilitaires pour la programmation. Le repertoire où se trouvent ces modules est appelé librairie.
  

• Nom du programme: nom donné au programme et au fichier qui le contient.
  

• Déclaration de données: déclaration des données du programme avec leurs types. Toute donnée employée dans les actions doit être déclarée préalablement, avec un nom (identificateur), une valeur initiale éventuelle, et un type unique.
  

• Actions: description des actions et calculs sur les données du programme.

Exemple:

with Ada.Text_IO; with Ada.Integer_Text_IO;
use  Ada.Text_IO; use Ada.Integer_Text_IO;

procedure somme_carre1 is
  x: constant integer :=3;
  y: constant integer :=4;
  a,b,z: integer;
 begin
   a:= x*x;
   b:= y*y;
   z:= a+b; 
   put("Le resultat final est ");
   put(z);
 end

with Ada.Text_IO; with Ada.Integer_Text_IO;

use Ada.Text_IO; use Ada.Integer_Text_IO;

procedure somme_carre1 is

x: constant integer :=3;

y: constant integer :=4;

a,b,z: integer;

begin

a:= x*x;

b:= y*y;

z:= a+b;

put("Le resultat final est ");

put(z);

end

Apprendre et comprendre un langage

L'apprentissage d'un langage de programmation ressemble à celui d'une langue étrangère. D'un coté, l'on apprend la syntaxe, avec ses règles d'écriture, et des questions telles que:

• quels sont les symboles, les mots clés du langage?
• comment les compose-t-on pour écrire des ``phrases'' correctes?
• de quoi est composée chacune des sous-parties d'un programme (déclarations, spécification de types, expressions, etc.)?

d'autre part, l'on apprend le sens des mots, et des phrases du langage, à savoir, sa sémantique. Il sera alors question de:

• à quoi servent chacune des sous-parties d'un programme?

• qu'est-ce qu'un type? le typage? qu'est-ce qu'une valeur, une instruction, quelle est la valeur d'une expression?

• plus généralement: pour chacune des constructions syntaxiques apprises, nous devrons nous demander quel est leur comportement lors de l'exécution des programmes?