Le 19/03/2025 à 11:09, Erwann Thoraval a écrit :
Un programme Ada, ça parait assez inhabituel 🙂 Pour quelle raison
as-tu eu recours à Ada ?
Moi, je sais : parce qu'il est tombé dans la marmite ADA quand il était
petit :-)
https://github.com/sowebio/aide-doc
Cela nous fait par ailleurs un sujet possible pour Vendredi :
Que serait le monde de la tech que nous connaissons si, au siècle
dernier, Kernighan & Ritchie avaient conçu un langage de programmation
robuste, avec un typage fort, une gestion de la mémoire stricte, des
contrôles à l'exécution, et tout un tas d'autres choses susceptibles
d'empêcher, par exemple, un atterrisseur de s'écraser misérablement sur
Mars à cause d'une altitude devenue malencontreusement négative ?
Ou, dans l'autre sens, comment un langage de programmation puissant mais
excessivement permissif, mis entre les mains de programmeurs moyens
voire mauvais, a t-il pu pu devenir la source de la très grande majorité
des "failles de sécurité" que nous connaissons aujourd'hui ?
OK, je ne suis pas objectif, je sors :-D
---------------------------
Liste de diffusion du FRnOG
http://www.frnog.org/