[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Re : Ada (vraiment HS)



> Ada a ete invente par la defense americaine justement pour pallier aux
> problemes que connait le C (trop d'erreurs qui surviennent "facilement"
> dus aux erreurs de programmation courantes (le C est trop flexible pour 
> ceux qui ne portent pas attention a la programmation)).
Si ma mémoire est bonne, la défense américaine avait lancée un appel
d'offre remportée par Sophia-Antipolis (ou un labo du Sud de la France).
Ada est d'origine française.

> 
> Par contre, Ada est tres chiant pour les types.  Il est fortement,
> enornement, immensement axe sur les types.  Le reste, c'est un plaisir
de
> programmer.  Cet opinion n'engage que moi bien sur.

C'est pour cela qu'il a été fait, l'angleterre venait de perdre un
satelitte suite à une ligne type

DO 10 I=1.1000

interprétée comme

DO10I = 1.1

au lieu de la boucle espérée. Cette boucle intervenant dans le calcul du
temps de mise à feu lors de la stabilisation sur orbite d'un satellite,
celui ci est allé dans les choux (40 millions de livres). L'erreur n'avait
pas été trouvée par les tests. Voulant des pgms sûrs, le pentagone a lancé
un appel d'offre pour un langage fortement typé où tout ce qui n'est pas
textuellement prévu est détecté à la compilation (à l'analyse syntaxique
plutôt d'ailleurs). La dernière méaventure d'Arianne (pgm sortant des
pouces entrant dans un pgm voulant du mètre) montre que le typage ultra
poussé est une bonne sécurité.


F.B (de mémoire)

> 
> Il y a tous les bons et mauvais cotes, aucun langage n'est meilleur que
> l'autre dans toutes les situations.
> 
> (Je code en C/C++/Perl/Ada/Java)
> 
> 
> 
> 
> -- 
> To UNSUBSCRIBE, email to debian-user-french-request@lists.debian.org
> with a subject of "unsubscribe". Trouble? Contact
listmaster@lists.debian.org
> 



Reply to: