Blackknight a écrit 1234 commentaires

Bon, j'ai dû le rêver :D
La seule info que j'ai trouvée approchant est celle de Fabien sur Reddit.

Certaines annexes sont toutefois normatives.

Aujourd'hui, il me semble que seule l'annexe Distributed Systems n'est pas implémentée dans Gnat mais bon, c'est PolyORB qui s'en charge en fournissant en plus un bus CORBA (cf. l'excellente présentation au FOSDEM 2019 :D)

Il faut distinguer deux choses:

• Spark est un sous-ensemble d'Ada et se compile donc normalement avec le compilateur Ada
• Un code Spark peut (et devrait sinon, autant faire de l'Ada, c'est plus simple) être vérifié

Les temps de compilation sont donc les temps du compilateur Ada qui n'est pas non plus franchement le plus rapide du Far West.
Ceci dit, c'est normal, il compile beaucoup plus de choses qu'un compilateur C, ne serait-ce que les spécifications (en gros, les headers C) et vérifie tout une batterie de règles de cohérence (compatibilité des types, portée des pointeurs…).

A cela, s'ajoute dans le cas de Spark, l'étape de preuve du programme.
Cette étape fait appel à un autre outil que le compilateur dont le but est de transcrire les éléments Spark (post-, pré-conditions, invariants de boucle, assertions) dans le langage Why3.
Le "programme" Why3 est ensuite envoyé au moteur de preuve pour être analysé. Cette étape peut être très longue, beaucoup plus qu'une simple compilation mais l'enjeu n'est vraiment pas le même qu'une "simple" compilation.

A ce jour, les "provers" CVC4, Z3 et Alt-Ergo sont supportés et il est parfois nécessaire de faire passer son programme à la moulinette d'un ou plusieurs de ces programmes.

Petit anecdote, après discussion avec Yannick Moy à l'OSXP , Adacore a commencé à décorer la bibliothèque standard avec du Spark, histoire de prouver qu'il n'y a pas d'erreur dedans… Il semblerait qu'ils aient d'ailleurs trouvé une petite erreur passée inaperçue depuis des lustres :D

Voilà, j'espère avoir répondu à la question sans avoir dit trop de conneries :D

Il semblerait que la version GNAT Community soit un peu plus en avance que la version GNAT FSF (en terme de version, d'après ce que j'ai pu lire).

Oui, les développements sont faits avant tout pour Gnat Pro ce qui est compréhensible vu que c'est le fond de commerce d'Adacore.
Ensuite, tous est remis dans la version Community avant d'être finalement mergé dans la version FSF.

De mémoire, la version Community 2021 sera la dernière fournie par Adacore, il ne restera donc que la version FSF.

On verra donc ce qu'il se passera en 2022 :)

Après vérification sur mon exemplaire de la norme AFNOR d'Ada 83 et le site de Ada Information Clearinghouse, il se trouve que la norme est le manuel de référence.
Toutes les révision de la norme sont donc bien accessibles gratuitement ici.

Bizarre, y a tout plein de liens en bas de cette page-là dont le Reference Manual et le manuel utilisateur.

Après, il y a quelques entrées de blog chez Adacore qui sont intéressantes.
Il y a, par complexité croissante :

• Le passage d'Ada à Spark sur un objet simple, une pile
• la réimplémentation d'un code Rust en Spark qui colle bien au sujet du journal
• Une implémentation prouvée de TweetNaCl

En "libre" je ne connais que GNAT. Et encore, il me semble qu'il n'implémente pas tout Ada. Les seuls compilateurs à implémenter entièrement la norme sont propriétaires.

Je veux bien que tu dises quelles parties ne sont pas implémentées. En effet, Adacore, qui est le plus gros contributeur à Gnat, fait justement l'effort de coller à la norme de très près et est même en avance par rapport à la publication des révisions.

Peut-être parles-tu des annexes ?

En fait, c'est moi "j'ai oublié qui" :)
En même temps, on n'est pas très nombreux à parler d'Ada, le langage, ici :)

Je sens que ma question va avoir l'air conne mais y a que moi qui essaye de monter des VPN IKEv2/IPSec ?
Bon,ok, j'avoue que c'est moins trivial que OpenVPN.. :)

Perso, on avait regardé ça il y a quelques années à POSS avec Benoît mais de mémoire, c'était dans la base en direct.

Oui, bon, évidemment, ça va être dur de rivaliser :D

Et merci.

Je ne traîne pas sur le site depuis 1998 mais ça doit pas être loin.
De mémoire, mon id dans la base est assez petit d'ailleurs :)

on peut peut-être corréler ça avec l'activité informatique des industries qui utilisent ce langage (notamment aéronautique si j'ai bien compris) ?

Pour avoir bossé quelques années dans le secteur, je n'y ai vu que trois ou quatre projets en Ada. En même temps, c'est chiant, les trucs fonctionnent pendant des lustres, difficile de vendre de la maintenance :D

Du genre un gros développement qui pousse les gens à chercher des tutoriels pour l'ancien et le nouveau ?

Alors dans ce cas, on peut se trouver dans le cas de portage vers d'autres langages mais le bon indicateur, c'est le nombre d'offres d'emploi et de ce côté-là, c'est pas forcément le feu d'artifice.
Ceci dit, apprendre Ada est largement à la portée du développeur C/C++ ou Java donc au final, c'est pas bien compliqué de recycler un dev… Mais ça, je ne crois pas que grand monde le fasse.

Oui, c'est tout à fait possible mais on peut aussi rêver quand on voit arriver quelques nouveaux sur StackOverflow.

Oui, comme vous l'avez dit Ysabeau et toi, j'ai bien pensé au Youtube qui pose problème.
D'ailleurs, moi aussi, ça me démange d'où la chaîne Ada sur Peertube.
D'un autre côté, je préfère que les 8h heures de vidéo restent sur Youtube, mon quota sur Peertube.social est pas assez important pour accueillir une telle vidéo :D

Merci pour le +1 ;)

Tiens, ça, je ne m'attendais pas à me faire moinser pour un partage de lien sur de l'info :)
J'aimerai bien savoir pourquoi

En entreprise, on voit beaucoup plus de Java et de Go que du Python et du Rust.

Ca dépend, dans ma boite, c'est Java, C#, PHP et du Python surtout côté data science .
On a un seul projet en Go mais parce que c'est un ajout de fonctionnalités à Mattermost et effectivement, pas de Rust.

T'es la plus forte :)

Bon, j'ai eu le clic trop facile… Encore
C'est de l'anglais !!

Y aurait de nos chers modos qui pourrait me changer ça siouplait ?

Bon, j'ai eu le clic trop facile.
C'est de l'anglais !!

Y aurait de nos chers modos qui pourrait me changer ça siouplait ?

Bon, c'est dans le désordre, il faut commencer par regarder là :D
Désolé

si j'en crois LinuxFr (en admettant que ça soit représentatif de quelque chose)

C'est un indice comme un autre :)

C'est l'impression que cela me donne en tout cas. Elle est peut-être erronée (désolée pour les Adaïstes).

Même pas grave, ça fait partie des constatations chez Ada-France à la dernière AG.
Le développement en Ada n'est pas aussi rapide et aussi simple que peut l'être un développement en Python notamment. Du coup, c'est moins fun.

En fait, de mon point de vue, c'est surtout après qu'on y gagne, en temps de maintenance, car le refactoring est très guidé par le compilo.

Ceci dit, le dernier index PYPL montre une grosse progression, jamais connue pour le langage sur cet index :)
Peut-être est-ce dû à la meilleure intégration de Spark Ada dans le langage ou au fait que les plateformes embarquées ont plus de cote en ce moment.

En aparté, s'il y en a que ça intéresse, un développeur a enregistré, à l'occasion de l'Advent of code, deux séances de programmation Ada (là et là) où il "découvrait" le langage. Bon, faut avoir 8h à tuer… :D
Je vais mettre ça dans la rubrique liens

Ca peut le faire, en Ada, y en a pour tous les goûts.
La preuve, les Strings sont au nombre de trois:
- les Strings de taille fixe. Idéal pour obliger à garder la ligne pour la plage
- les bounded strings, un peu plus souples qu'on pourrait assimiler au surfer (le maillot pas le contenu)
- les unbounded strings totalement libres, une sorte de naturisme de la chaîne de caractères

En plus, ça existe aussi en grande taille et très grande taille :)

Finalement, c'est de la string qui ne te lâche jamais

Je viens de jouer un peu avec et ça permet notamment d'ajouter des filtres, d'en retirer que ce soient des filtres de type regex, textes ou sur extension de fichier.
Le tout est fait sans quitter l'interpréteur et sans forcément ré-éditer douze fois la ligne de regex que l'on vient de faire.

En fait, septum, c'est utilisable comme une sorte de shell auquel tu passes tes commandes de recherche.
Il semble que l'on peut l'utiliser en récupérant les commandes depuis un fichier.

Pour l'instant, le projet vient d'arriver sur Github, il n'y a pas de doc, il faut lire l'aide en ligne via la commande help :)
Sinon, y a le code source, c'est de l'Ada donc c'est lisible ;)