URL: https://linuxfr.org/users/blackknight/journaux/ada-au-fosdem Title: Ada au FOSDEM Authors: Blackknight Date: 2022年02月04日T15:10:46+01:00 License: CC By-SA Tags: ada, fosdem et visioconférence Score: 15 Et hop, encore un journal [Haribo](https://fr.wikipedia.org/wiki/Fraise_Tagada) pour les gourmands. Donc dimanche, pour changer, la devroom étant historiquement le samedi, ce sera, entre autres, la journée [Ada](https://fr.wikipedia.org/wiki/Ada_(langage)) et [SPARK](https://en.wikipedia.org/wiki/SPARK_(programming_language)). Demandez le programme ! === Au menu de [cette 11ème Ada Developer Room](https://fosdem.org/2022/schedule/track/ada/), rien de moins que 13 présentations d'une durée variant de 25 minutes à 1 heure. Introduction to Ada for Beginning and Experienced Programmers --- Il s'agit de [la traditionnelle présentation](https://fosdem.org/2022/schedule/event/ada_introduction_beginning_experienced/) de Jean-Pierre Rosen, président d'[Ada-France](https://www.ada-france.org/adafr/index.html), permettant de couvrir rapidement toutes les fonctionnalités du langage. La présentation durant une heure, celle-ci est très dense et certains sujets sont seulement évoqués. Pour le public ici présent qui ne connaitrait pas le langage, je pense que cela est suffisant pour se faire une idée et Jean-Pierre est très pédagogue. Ada Looks Good, Now Program a Game Without Knowing Anything ---- Stefan Hild a démarré son apprentissage d'Ada en 2020 avec pour but de développer un jeu,un clone de [Civilization](https://fr.wikipedia.org/wiki/Civilization_(jeu_vid%C3%A9o)). [La présentation](https://fosdem.org/2022/schedule/event/ada_looks_good_game/) est donc un retour d'expérience de la part d'un débutant après un peu plus d'un an de développement. The Ada Numerics Model ---- Quand on parle de typage, on pense aux bornes sur les entiers, aux énumérations et aux bornes de tableaux. Pour [cette présentation](https://fosdem.org/2022/schedule/event/ada_numerics_model/), Jean-Pierre Rosen revient pour expliquer cette fois-ci les différentes représentations des nombres réels. Ne rigolez pas mais régulièrement, j'explique à mes jeunes collègues les imprécisions liées aux flottants... Ce dont va parler Jean-Pierre entre autres choses. 2022 Alire Update --- [Alire](https://alire.ada.dev/), c'est l'équivalent de [Cargo](https://doc.rust-lang.org/cargo/) pour Ada. Présenté pour la première fois [en 2020 au FOSDEM](https://archive.fosdem.org/2020/schedule/event/ada_alire/), le projet a évolué et inclut maintenant 218 _crates_. Ce n'est pas grand chose comparé à _Rust_ mais c'est un début. [La présentation](https://archive.fosdem.org/2020/schedule/event/ada_alire/) de Fabien Chouteau et Alejandro Mosteo permettra de voir les différentes évolutions de ces deux dernières années. SweetAda --- [SweetAda](https://www.sweetada.org/) est un _cadriciel_ (_framework_ pour les pointilleux :)) léger permettant le développement d'applications embarquées sur toute une gamme d'architectures. Bien sûr, il s'agit d'un développement en cours et c'est [l'avancement qui sera présenté](https://fosdem.org/2022/schedule/event/ada_sweetada/) par Gabriele Galeotti. Use (and Abuse?) of Ada 2022 Features in Designing a JSON-like Data Structure ---- Alejandro Mosteo présentera une utilisation des évolutions prévues pour Ada 2022 dans le cadre de l'implémentation d'une structure à la JSON. Bon, là, j'avoue que j'attends [la présentation](https://fosdem.org/2022/schedule/event/ada_2022_json_like/) parce que c'est pas encore super clair :D Getting Started with AdaWebPack ---- On parlait de JSON juste avant, Max Reznik présentera, lui, [AdaWebPack](https://fosdem.org/2022/schedule/event/ada_adawebpack/). [Ce projet](https://github.com/godunko/adawebpack) utilise [LLVM](https://fr.wikipedia.org/wiki/LLVM) pour générer du code [[WebAssembly]]. Overview of Ada GUI --- [Ada GUI](https://github.com/jrcarter/Ada_GUI) est un _framework_ (_cadriciel_ pour les pointilleux :D) graphique. Contrairement aux _bindings_ habituels comme _Gtk_ étant totalement en Ada, _Ada GUI_ utilise le support natif du multitâches. [La présentation](https://fosdem.org/2022/schedule/event/ada_adagui/) de Jeffrey Carter a pour but de montrer toutes ces différences. SPARKNaCl: A Verified, Fast Re-implementation of TweetNaCl --- Si vous avez suivi mes derniers journaux, vous êtes au courant sinon allez lire [ça](https://linuxfr.org/users/blackknight/journaux/re-implementation-de-tweetnacl-en-spark). Il s'agit peu ou prou de la présentation faite par Roderick Chapman dans la vidéo partagée dans le journal. [Une présentatio](https://fosdem.org/2022/schedule/event/ada_sparknacl/)n à regarder si on veut voir jusqu'où on peut aller avec SPARK. The Outsider's Guide to Ada --- Paul Jarret a appris Ada 2012 en 2021 :) Et le moins que l'on puisse dire est qu'il n'a pas chômé. Il a produit [septum](https://github.com/pyjarrett/septum) dont j'ai parlé [ici](https://linuxfr.org/users/blackknight/liens/un-grep-contextuel-en-ada) et a profité de cette expérience pour faire [un petit résumé de son périple](https://pyjarrett.github.io/programming-with-ada/). Il présentera tout cela [en détail](https://fosdem.org/2022/schedule/event/ada_outsiders_guide/). Comme il le dit lui-même, c'est un bon complément à la 1ère présentation d'introduction à Ada. Proving the Correctness of GNAT Light Runtime Library --- Bon, on rentre dans le dur avec Yannick Moy qui, avec Fabien Chouteau, est le deuxième intervenant de chez AdaCore... Bon, ils sont super mais c'est des malades :D Yannick est spécialisé en SPARK et [la présentation](https://fosdem.org/2022/schedule/event/ada_proving_gnat_light_runtime/) va bien le montrer. Le "jeu" a été d'écrire les preuves pour l'arithmétique multi-précision. Vous êtes prévenu, c'est super intéressant, il faut déjà être un peu connaisseur ;) Implementing a Build Manager in Ada --- Stéphane Carrez est un développeur Ada prolifique (et Java pour le boulot, via [Twinme](https://twin.me/fr/) mais ça, je n'en parle pas trop, c'est pas libre ;)). Après avoir développé un _cadriciel_ (_framework_ pour les pointilleux) pour les applications Web, [AWA](https://github.com/stcarrez/ada-awa), embarquant une floppée de bibliothèques qu'il a écrites en Ada, il a décidé de remplacer [Jenkins](https://fr.wikipedia.org/wiki/Jenkins_(logiciel)). Il [présentera](https://fosdem.org/2022/schedule/event/ada_build_manager/) donc [Porion](https://gitlab.com/stcarrez/porion), son nouveau bébé. Exporting Ada Software to Python and Julia --- Comme à toutes les éditions du FOSDEM, Jan Verschelde présentera ses avancées sur [PHCpack](https://github.com/janverschelde/PHCpack). PHCpack est une bibliothèque permettant la résolution de systèmes polynomiaux utilisant le multitâches Ada mais je ne vous en dirais pas plus, j'ai pas le niveau :D Par contre, je peux vous dire que cette année, il montrera comment utiliser [PHCpack depuis Python et Julia](https://fosdem.org/2022/schedule/event/ada_python_and_julia/). Je n'ai pas parlé des deux séquences d'ouverture et de fin de la _DevRoom_ mais contrairement aux années précédentes, ce sera le tour de Fernando Oleo Blanco qui prend la suite de Dirk Craeynest, organisateur de la devroom depuis de nombreuses années. Si vous avez réussi à tout lire, chapeau ! :D En tout cas, j'espère que vous serez nombreux à venir écouter car contrairement à d'habitude, on n'est pas limités par le nombre de places dans la salle.

AltStyle によって変換されたページ (->オリジナル) /