Bonjour tout le monde.
Voici mon premier article de journal pour signaler que j'ai pu intervenir dans l'excellent podcast If This Then Dev (IFTTD pour les intimes).
J'y parle du langage Ada que j'utilise comme langage de prédilection dans mon secteur de l'aéronautique.
Langage auquel je trouve plein de qualités mais qui reste très méconnu et cantonné à des secteurs de niche.
Je vous laisse découvrir l'épisode ici
# Souvenirs
Posté par mahikeulbody . Évalué à 8.
Je ne pensais pas que ce langage était encore utilisé. Il m'a accompagné durant sept ans pour le contrôle-commande du palier N4 nucléaire français (années 87-96). Comme je sortais d'un projet de plusieurs années en assembleur, la transition avait été assez "forte" :-)
[^] # Re: Souvenirs
Posté par Christophe Gouiran . Évalué à 6.
Et oui il est encore utilisé mais trop peu dommage.
Comme je le dis dans l'épisode plus grand monde ne le connait ceci expliquant cela.
J'estime faire partie des (rares ?) chanceux à le côtoyer.
[^] # Re: Souvenirs
Posté par Ysabeau 🧶 🧦 (site web personnel, Mastodon) . Évalué à 4.
Il y a au moins un autre adaïste ici :-) (pas moi).
Merci pour ce podcast. Je vais l'écouter.
« Tak ne veut pas quʼon pense à lui, il veut quʼon pense », Terry Pratchett, Déraillé.
[^] # Re: Souvenirs
Posté par Blackknight (site web personnel, Mastodon) . Évalué à 3.
Oui, il y a effectivement quelques Adaistes qui trainent par ici.
Ce podcast est une bonne base pour donner envie aux développeurs d'aller y regarder de plus près compte tenu du contexte dans lequel tu travailles et que tu as pu présenter.
En tout cas, bravo parce que c'est vrai que le podcast n'est pas un format évident pour présenter un langage.
[^] # Re: Souvenirs
Posté par Christophe Gouiran . Évalué à 2.
Merci.
Je me considère plus passionné que spécialiste.
Et effectivement l’exercice n'était pas facile.
Mon but était de braquer les projecteurs sur ce langage qui le mérite tant à mon avis.
Tu es membre de l'association Ada-France?
Si oui, sais-tu pourquoi ils ont publié des vidéos il y a presque un an et depuis plus rien?
Dommage je les avais trouvées intéressantes.
[^] # Re: Souvenirs
Posté par Blackknight (site web personnel, Mastodon) . Évalué à 3. Dernière modification le 18 mai 2021 à 18:59.
Oui.
Les vidéos publiées il y a un an étaient en fait issues d'un meetup dont j'ai parlé ici
Normalement, il y a une autre édition dans les tuyaux mais pas de date pour le moment.
Je vais en reparler pour réactiver le sujet.
Sinon, il y a un ensemble de vidéos ici qui devrait t'occuper quelques heures :)
[^] # Re: Souvenirs
Posté par Christophe Gouiran . Évalué à 2.
Merci pour le lien vers les vidéos.
Effectivement il y en a pas mal je vais me régaler.
[^] # Re: Souvenirs
Posté par Blackknight (site web personnel, Mastodon) . Évalué à 3.
Abonnes-toi, le propriétaire rajoute des vidéos de temps à autre ;)
Qui sait, il trouvera peut-être le temps de faire des listes de lectures par thème :D
[^] # Re: Souvenirs
Posté par Gil Cot ✔ (site web personnel, Mastodon) . Évalué à 3.
Trop d'effets de modes ont fait qu'il soit de moins en moins connu. Je comptais faire un journal dans ce sens ; et ce podcast est tombé à point pour me remotiver.
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
[^] # Re: Souvenirs
Posté par Blackknight (site web personnel, Mastodon) . Évalué à 3.
Un journal sur les effets de mode ou sur Ada ? :)
[^] # Re: Souvenirs
Posté par Gil Cot ✔ (site web personnel, Mastodon) . Évalué à 3.
Un peu des deux : pourquoi Ada est bien, et comment les effets de mode font que c'est peu connu, et interrogations diverses, le tout sur le fil de mon expérience personnel.
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
[^] # Re: Souvenirs
Posté par Ysabeau 🧶 🧦 (site web personnel, Mastodon) . Évalué à 3.
Ça me paraît super intéressant comme sujet de journal parce, bien que n'étant pas informaticienne, ce sont des questions que je me pose vraiment sur les langages informatiques.
« Tak ne veut pas quʼon pense à lui, il veut quʼon pense », Terry Pratchett, Déraillé.
[^] # Re: Souvenirs
Posté par reno . Évalué à 3.
Il y a les effets de mode qui expliquent pourquoi Ada est si peu utilisé (même ses concepts comme les tableaux qui vérifie le type fe l'index ne sont pas repris par d'autres langages :-( ).
Mais il y a aussi que certaines choses courante dans d'autres langages comme les string de taille variable, en Ada ça pique les yeux, ça n'aide pas..
[^] # Re: Souvenirs
Posté par Christophe Gouiran . Évalué à 2.
Tu parles de chaines de caractères qui se redimensionnent à la volée?
Dans ce cas il est possible d'utiliser les Unbounded_String je pense.
[^] # Re: Souvenirs
Posté par reno . Évalué à 3.
Rien que le nom fait peur..
[^] # Re: Souvenirs
Posté par Gil Cot ✔ (site web personnel, Mastodon) . Évalué à 2.
Ahha… La vérification de l'index est pourtant repris par des langages que j'ai vu arriver après.
Le dernier en date qui reprend pratiquement tous les concepts qu'on trouve dans Ada est Rust ; donc ça explique pourquoi le premier est si peu utilisé
;-)“It is seldom that liberty of any kind is lost all at once.” ― David Hume
[^] # Re: Souvenirs
Posté par reno . Évalué à 7.
Je ne parlais de la vérification du range de l'index mais du type de l'index: si tu as un tableau indexé par un nombre de Choux, le compilateur ne te laisse pas l'indexer par un nombre de Carottes.
En C++, tout est indexé par des entiers, pareil en Rust je crois mais en Ada tu peux choisir simplement un type fort comme Index.
[^] # Re: Souvenirs
Posté par Gil Cot ✔ (site web personnel, Mastodon) . Évalué à 3.
Ah oui, au temps pour moi. Rarement eu besoin d'utiliser ça, mais ça ne me surprend pas vraiment parce-que ça fait partir des petits trucs avant-gardistes… Ceci dit, ce truc est assez proche des tables de hachage et des listes chaînées et cette possibilité permet de ne pas avoir à faire de conversions intermédiaires en entier.
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
[^] # Re: Souvenirs
Posté par reno . Évalué à 4.
Sur des petits programmes ça n'a pas d'intérêt, sur des gros tôt ou tard il y aura cette erreur..
[^] # Re: Souvenirs
Posté par barmic 🦦 . Évalué à 3.
Pas vraiment ou alors je ne t'ai pas compris. En ADA tu peux avoir 2 nombres qui ne sont pas du même types et donc tu peux avoir des tableaux dont l'indice est un nombre typé.
Si tu manipule l'index de 2 tableaux dans une boucle, tu peux avoir 2 variables chacune représentant l'indice d'un tableau et tu n'aura pas le droit d'utiliser un indice dans le mauvais tableau. Mais ça reste des nombres avec toute l'arithmétique.
https://linuxfr.org/users/barmic/journaux/y-en-a-marre-de-ce-gros-troll
[^] # Re: Souvenirs
Posté par Blackknight (site web personnel, Mastodon) . Évalué à 2.
Je pense que la comparaison avec les tables de hachage vient aussi du fait que ton indice peut être n'importe quel type discret et donc potentiellement une énumération pour laquelle il n'y a pas d'arithmétique (cf. le wikibook).
Mais bon, on n'indexe pas directement sur des chaines de caractères par exemple donc c'est un peu la table de hachage du pauvre ;)
[^] # Re: Souvenirs
Posté par btd . Évalué à 3. Dernière modification le 21 mai 2021 à 12:59.
Pas si rare que tu ne le penses en fait, je travaille dans le ferroviaire et il y a quand même quelques entreprises en plus de la mienne qui se servent de l'Ada dans ce domaine.
C'est clairement un langage de niche, bien qu'on puisse tout faire avec ou presque : à titre d'exemple dans ma boite on en fait des logiciels critiques dans des calculateurs embarqués (ressources contraintes, temps réel dur, …) mais aussi des applis sur PC (IHM en GTK, multicoeur sur OS grand public, …).
Autre exemple : quand j'ai appris le langage, le formateur nous avait présenté un PoC sous la forme d'un serveur web minimaliste, mais parfaitement fonctionnel pour du HTTP.
Le ferro c'est pas le seul domaine : aéro, militaire, spatial…
La liste des clients d'Adacore, par exemple, permet de se faire une idée de l'ampleur des "contaminés" par choix ou par obligation ;-)
[^] # Re: Souvenirs
Posté par Pierre_Roc . Évalué à 1.
Bonjour,
Est-ce que les adaïstes qui traînent ici ont des ressources pour Ada dans un contexte professionnel?
Éventuellement formations qualifiantes? Y’a-t'il une demande dans cette techno? Niveau de salaire? Etc. Est-ce facile de convaincre un recruteur (en junior sur la techno, mais expérimenté sur le reste…)? Durée des missions en ESN, etc.
Éventuellement, vous pouvez raconter votre vie, je serai curieux de savoir comment ça se passe dans le domaine.
Je travaille aussi sur une techno de niche (Cobol/Pacbase dans la bancassurrance) et ça me botterait bien de varier un peu, à plus ou moins long terme. Surtout que le niveau technique est vraiment bas sur ce marché (souvent des reconversions, comme moi, mais sans absolument aucune connaissance informatique préalable…). Et les métiers autour de l’Ada sont pas inintéressants…
[^] # Re: Souvenirs
Posté par Blackknight (site web personnel, Mastodon) . Évalué à 2.
Qu'entends-tu par là ? Que recherches-tu ?
Jean-Pierre Rosen, le président d'Ada-France, donne des formations (cf. Adalog) mais il n'y a pas de formations qualifiantes à ma connaissance… Par contre, il y a quelques offres dans l'aéronautique et le ferroviaire (voir là).
# International Conference on Reliable Software Technologies
Posté par Blackknight (site web personnel, Mastodon) . Évalué à 3.
Hop, j'en profite pour faire la pub de la conférence annuel d'Ada-Europe qui aura lieu en virtuel cette année.
Du coup, les frais ont largement baissé, c'est gratuit pour les adhérents d'Ada-Europe et 60€ pour les autres.
Pour plus d'info :
- La page de l'évènement
- Le programme détaillé
C'est une conférence donc ne vous attendez pas à des tutoriels pour apprendre Ada ;)
[^] # Re: International Conference on Reliable Software Technologies
Posté par Ysabeau 🧶 🧦 (site web personnel, Mastodon) . Évalué à 3.
Tu y participeras, la suivras ?
Si oui, tu pourras faire un compte-rendu ?
« Tak ne veut pas quʼon pense à lui, il veut quʼon pense », Terry Pratchett, Déraillé.
[^] # Re: International Conference on Reliable Software Technologies
Posté par Blackknight (site web personnel, Mastodon) . Évalué à 3.
J'aimerai bien mais il faudrait que je pose mes après-midi pour vraiment en profiter :)
Y a quand même des sujets sympas :
Alors il y a aussi des conférences qui ne parlent pas forcément d'Ada directement mais seulement de logiciels sûrs. (cf. le planning)
# Traduction en anglais
Posté par Christophe Gouiran . Évalué à 6.
Bruno, l'animateur du podcast, a gentiment accepté de rajouter une transcription que je lui ai soumise écrite en anglais.
Ça se trouve toujours à la même adresse et il y a même un lien direct.
Suivre le flux des commentaires
Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.