Hello!

Inspiré(e) de prendre part à la discussion ? Ou de poser une question ou demander de l’aide ?

Alors bienvenues dans les grands sujets des forums de La Bulle : m’inscrire.

Cette partie du forum n’est pas compatible avec les bloqueurs publicitaires

Félicitations à vous, de préférer les accès payants plutôt que la gratuité par la publicité, c’est honnorable et cohérent de votre part. Malheureusement, l’accès payant par micropaiement (qui serait d’environ 1 cent pour 20 pages consultées) n’est pour l’instant pas encore mis en place, et l’accès gratuit sans publicité, est réservé aux membres actif(ve)s du forum. En attendant, si vous souhaitez poursuivre votre visite chez nous, vous pouvez ajouter le site à votre liste blanche, ou encore mieux, désactiver le bloqueur partout. Pour ajouter le site à votre liste blanche, pour Firefox (similaire pour les autres navigateurs), rendez‑vous en bas à gauche de la fenêtre de votre navigateur, et cliquez sur le menu comme dans l’exemple de l’image ci‑dessous, puis rechargez la page, en appuyant sur F5.

Les références et annexes
Auteur Message
Administrateur
Avatar de l’utilisateur
  • Genre : Télétubbie
  • Messages : 16076
Mer 19 Oct 2011 13:37
Message Les références et annexes
Pour suggérer des ajouts ou signaler des erreurs, vous pouvez envoyer un message privé.
Image
Portrait de Ada Lovelace (1815‑1852),
qui a donné son nom au langage,
en hommage à ses travaux avec
Charles Babbage


Les références


Ce sont les normes ISO spécifiant le langage, sa syntaxe et sa sémantique. Autant que possible, c’est à ces documents qu’il faut se référer et qui font foi.

Le processus de normalisation ISO requière une révision régulière, et ainsi le langage est révisé dans une fourchette périodique de 5 à 10 ans environ. Depuis l’établissement du premier cahier des charges dans les années 1970, le langage a connu 4 révisions : 1983, 1995, 2005 et 2012 (la prochaine révision aura peut‑être lieu en 2020).

La publication d’une version du standard est souvent accompagnée de “Rationales” informels mais bien sérieux, dont les noms font référence à l’année de la norme correspondante. Ces “Rationales” expose les fondements, les raisons pratiques et théoriques des choix fait pour le langage. Une liste en est donnée dans le message suivant celui‑ci.

Moins systématique que ces “Rationales” et moins connus aussi, sont les “Styles Guide”. Là aussi, une liste sera donnée plus loin.

Ada 2012


Ada 2012 Language Reference Manual. La dernière version, validée par l’ISO aux environs du 13 ou 14 Décembre 2012. Après Eiffel, conçu par Bertrand Meyer, Ada 2012 est le second à introduire la spécification de contrats dans les interfaces. On s’y réfère souvent par le terme Design by Contract ™, qui est une marque déposée de Bertrand Meyer, mais couramment utilisée comme un terme générique.

Ada 2005


Ada 2005 Language Reference Manual. Principalement des amendements à la norme de 1995.

Disponible également en PDF, Archive HTML, et Archive Texte.

Ada 95


Ada 95 Language Reference Manual. La version la plus courante dans l’industrie et la mieux supportée par les compilateurs. Par cette révision, Ada est le premier langage orientée objets à faire l’objet d’un standard international.

Disponible également en PDF, Archive HTML, et Archive Texte.

Ada 83


Ada 83 Language Reference Manual. Version historique, unanimement considérée obsolète. Il s'agit de la première normalisation ISO pour Ada. Plus personne ne devrait s’y référer en pratique, mais elle reste intéressante pour les gens curieux et pour des raisons historiques.

Disponible également en PostScript, Archive HTML, et Archive Texte.

Les ancêtres de la référence


Departement of Defense, Requirements for High Order Computer Programming Languages. Plus loin encore en arrière dans le temps, ce document de Steelman, date de 1978. L’un des ancêtres de Ada. Ce n’était pas une norme encore, mais un cahier de doléance. Le langage n’avait pas encore le nom de Ada, et n’existait d’ailleurs que dans les esprits.

Image
Hibou57

« La perversion de la cité commence par la fraude des mots » [Platon]
Profil Site Internet
Administrateur
Avatar de l’utilisateur
  • Genre : Télétubbie
  • Messages : 16076
Mer 19 Oct 2011 16:22
Message Re: Les références et annexes
Image
Logo de AdaIC (Ada Information
Clearing House), le principal centre de ressources
dans le domaine des technologies relatives à Ada


Les “Rationales


Les “Rationales”, déjà présentés plus haut, sont des exposés pratique et théoriques, expliquant, le pourquoi et le comment, les choix pragmatiques fait pour le langage ses formalismes ou parfois sa syntaxe concrète. S’il vous arrive de vous demander « Mais pourquoi est-ce ainsi et pas autrement ? » ou encore « À quoi pensaient‑ils au moment de d’opter pour ceci et cela ? », alors la lecture de ces documents est faite pour vous. Il existe un “Rationales” pour chaque version du langage. Ainsi, ces documents peuvent‑ils être considérés comme des annexes à l’intention des gens souhaitant en comprendre plus et aller au delà de ce qui est exposé dans les standards du langage.

Ils présentent également les résumés et introductions aux changements apportés au langage comparé à sa version directement précédente.

Pour Ada 2012


Rationales for Ada 2012. Aborde la conception par contrat, c‑à‑d. les préconditions, postconditions et invariants de type; les nouvelles propriétés des tâches dans les contextes multiprocesseurs, et la nouvelle clause “use all type”, complétant la clause “use type” déjà existante; ceci pour ne citer que le plus important.

Révisé en Février 2013. De nouveaux ajouts à ce rational sont encore attendu dans le courant de l’année 2013, à un rythme de une fois par trimestre.

Également disponible en PDF.

Pour Ada 2005


Rationales for Ada 2005. Aborde principalement les nouveauté des type access, la librairie des conteneurs standards, l’introduction des types interface et la nouvelle notation pointée pour l’accès aux méthodes des types tagués.

Également disponible en PDF.

Pour Ada 95


Rationales for Ada 95. Aborde principalement l’introduction des types tagués, qui est la formalisation Ada des classes et de la résolution dynamique des méthodes pour les types polymorphes; les types protégés, complétant les tâches, et les hiérarchies de paquets. Ceci pour ne faire que résumer, car Ada 95 a été un tel bouleversement pour Ada…

Également disponible en PostScript, Archive HTML et Archive Text.

Pour Ada 83


Rationales for Ada 83. Aborde principalement les concepts de base est génériques de Ada : compilation séparées, typage stricte, types dérivées et sous‑types, les paquets génériques, les tâches et les exceptions, pour résumer.

Également disponible en Archive HTML et Archive Texte.

Image
Hibou57

« La perversion de la cité commence par la fraude des mots » [Platon]
Profil Site Internet
Administrateur
Avatar de l’utilisateur
  • Genre : Télétubbie
  • Messages : 16076
Mer 19 Oct 2011 17:06
Message Re: Les références et annexes

Les “Styles Guide


Les “Styles Guide” sont des recueils de recommandations portant sur le style, autant au niveau de l’écriture que du design. Ils sont d’un caractère bien moins formel que les deux précédentes séries de documents, et sont également subjectifs, et en cela, peuvent être sujet à discussions encore plus que ne le sont les précédents. Ces documents n'ont rien de normatif, et d’autres recommandations peuvent être tout aussi valables. Ces recommandations ne sont citées ici que parce qu’elles ont été publiées en accompagnement de certaines versions de la norme.

D’autres documents de recommandations de styles et de designs, émanant d’autres sources, comme par exemple la NASA, le CNES, la société AdaLog ainsi que d’auteurs relativement indépendants, comme Pascal Obry, auteur de AWS (Ada Web Server), seront ajoutés ultérieurement, pour élargir le panel.

Ici, il est important de ne pas oublier qu’aucune règle de style, ne peut se substituer à des validations formelles, comme les preuves de fonctionnement ou même plus simplement les bancs de testes et de validations.

Pour Ada 95


Ada 95 Quality and Style Guide: Guidelines for Professional Programmers.

Également disponible en PDF, Archive HTML et Archive Texte.

Pour Ada 83


Ada 83 Quality and Style Guide.

Également disponible en Archive Texte (en un unique fichier texte).

Image
Hibou57

« La perversion de la cité commence par la fraude des mots » [Platon]
Profil Site Internet
Administrateur
Avatar de l’utilisateur
  • Genre : Télétubbie
  • Messages : 16076
Ven 17 Fév 2012 12:51
Message Re: Les références et annexes
Un oubli impardonnable, le site AdaPower doit être mentionné : www.adapower.com.

Deux sections du sites à lire au grès du temps libre :


La dernière mise à jour du site date de 2004, on y trouve donc rien sur Ada 2012 ni même Ada 2005 (Ex. la FAQ, à propos de l’héritage multiple, ne mentionne pas les types Interface). Il ne doit pas être considéré comme obsolète pour autant, c’est encore un peu trop tôt.

Image
Hibou57

« La perversion de la cité commence par la fraude des mots » [Platon]
Profil Site Internet
Administrateur
Avatar de l’utilisateur
  • Genre : Télétubbie
  • Messages : 16076
Ven 9 Nov 2012 11:09
Message Re: Les références et annexes
Une référence résumée incontournable pour les débutant(e)s :

Ada Distilled for Ada 2005 (adaic.org) (PDF).
Par Richard Riehle et al — Janvier 2011.

Ce n’est pas un e‑book pour apprendre, il est plutôt dans la catégorie des “Quick Reference Card(QRC), et c’est pourquoi il est cité ici avec les références.


P.S. Le Rationale pour Ada 2012 est maintenant disponible à l’état d’ébauche et la section concernée plus haut a donc été mise à jour.

Image
Hibou57

« La perversion de la cité commence par la fraude des mots » [Platon]
Profil Site Internet
Administrateur
Avatar de l’utilisateur
  • Genre : Télétubbie
  • Messages : 16076
Ven 14 Déc 2012 17:32
Message Re: Les références et annexes

Ada 2012 validé par l’ISO


La nouvelle norme Ada 2012, semble avoir été approuvée par l’ISO (ce qui était prévu pour fin 2012). Je n’ai pas vu d’annonce sur le web à ce sujet, mais j’ai remarqué ce matin, que le texte du standard sur ada-auth.org, n’arbore plus le statu de draft ( = « brouillon », en français — le dernier indiquait “draft 18”), qu’il avait encore hier.

Les premier et second messages de ce sujet, sont mis à jour en conséquence.

Image
Hibou57

« La perversion de la cité commence par la fraude des mots » [Platon]
Profil Site Internet
Administrateur
Avatar de l’utilisateur
  • Genre : Télétubbie
  • Messages : 16076
Lun 6 Mai 2013 04:15
Message Re: Les références et annexes
Une sorte de document historique.

Introduction to Ada (cs.fsu.edu).

Malgré le titre de la page, il ne faut pas la prendre pour une bonne introduction. Le lien est posté ici parce qu’il est intéressant de garder aussi des traces de l’histoire.

Image
Hibou57

« La perversion de la cité commence par la fraude des mots » [Platon]
Profil Site Internet
Administrateur
Avatar de l’utilisateur
  • Genre : Télétubbie
  • Messages : 16076
Ven 19 Juil 2013 22:42
Message Re: Les références et annexes
Un autre document historique d’intérêt, est cette page présentant les différentes proposition pré‑Ada. Je ne sais plus si cela a déjà été précisé ici, les différentes propositions étaient symbolisées par une couleur, et Ada est issu du Livre Vert (The Green Book, qui a donné l’expression “Ada is Green”, et qui explique pourquoi les premiers livres didactiques sur Ada présentaient souvent une couverture dans les tons verts), la proposition qui fût finalement sélectionnée. Cette page parle du Livre Rouge (Red Book)

Voir : Overview of the Ada Language Competition (iment.com).

Voir également ce document vidéo de trois quarts d’heure et en Anglais, celui d’une conférence vidéo de Robert Dewar, l’un des cofondateurs de la société AdaCore. Il revient sur le passé de Ada lors d’un exposé sur son avenir.

Ada: Past, Present and Future — Robert Dewar



Image
Hibou57

« La perversion de la cité commence par la fraude des mots » [Platon]
Profil Site Internet
Administrateur
Avatar de l’utilisateur
  • Genre : Télétubbie
  • Messages : 16076
Jeu 14 Nov 2013 18:18
Message Re: Les références et annexes
Les Rationales de Ada 2012 ont été officiellement publiés en version définitive, le 12 Novembre dernier. Le second message de ce sujet a été mis à jour en conséquence. Le lien de la version HTML en ligne n’a pas changé, mais le lien de la version PDF, a changé. Si vous aviez récupéré l’ancienne version PDF, pensez à la remplacer par la version finale.

Image
Hibou57

« La perversion de la cité commence par la fraude des mots » [Platon]
Profil Site Internet
Administrateur
Avatar de l’utilisateur
  • Genre : Télétubbie
  • Messages : 16076
Mer 23 Juil 2014 06:27
Message Re: Les références et annexes
Ça n’est pas dans la référence officielle de Ada, c’est tout de même une note formelle qui fait référence à Ada. C’est à propos de la sémantique du passage des paramètres.

Parameter Passing (cs.washington.edu). Septembre 1999.

Citation : 
  • call by value: copy going into the procedure
  • call by result: copy going out of the procedure
  • call by value result: copy going in, and again going out
  • call by reference: pass a pointer to the actual parameter, and indirect through the pointer
  • call by name: re-evaluate the actual parameter on every use. […]

Ada uses different designations: IN, OUT, IN OUT:

  • For scalar data types (such as integers), IN is the same as call by value, OUT is the same as call by result, and IN OUT is the same as call by value result. In addition, IN parameters are local constants -- you can't assign into them.
  • For compound data types (such as arrays), these can be implemented as above, or using call by reference. (You can write a test program to determine which method your compiler is using -- however, programs that rely on one implementation choice or the other are "erroneous".)


La note sur l’aspect variable selon l’implémentation, pour le passage des tableaux comme paramètre, est importante. Je ne l’avais jamais relevé. Je vérifierai un jour prochain si c’est toujours le cas après les dernières révisions du langage.
Profil Site Internet
cron