• [^] # Re: Le titre est trop long

    Posté par (site web personnel) . En réponse au journal Typage statique versus typage dynamique. Évalué à 1.

    Éloigné dans le sens statique vs. dynamique. Mécaniquement parlant, que t'es une notion de sous-type qui sont des types de base avec une contrainte ne change rien au fonctionnement derrière.

    bah, justement, le système de typage d'Ada te permet de faire des choses statiquement (par contre, pas avec des sous-types). Par exemple :

    procedure Annee is
 type Annee is new Integer;
 procedure Date(A : Annee) is begin null; end;
 Toto: Integer := 2012;
begin
 Date(Toto);
end Annee;

    Le compilo va râler à la compil :

    annee.adb:8:09: expected type "Annee" defined at line 2
annee.adb:8:09: found type "Standard.Integer"

    J'aurais pu en plus ajouter une contrainte sur mon type Annee, mais c'est un autre problème.