Journal Ada au FOSDEM

Sommaire

• Demandez le programme !
  • Introduction to Ada for Beginning and Experienced Programmers
  • Ada Looks Good, Now Program a Game Without Knowing Anything
  • The Ada Numerics Model
  • 2022 Alire Update
  • SweetAda
  • Use (and Abuse?) of Ada 2022 Features in Designing a JSON-like Data Structure
  • Getting Started with AdaWebPack
  • Overview of Ada GUI
  • SPARKNaCl: A Verified, Fast Re-implementation of TweetNaCl
  • The Outsider's Guide to Ada
  • Proving the Correctness of GNAT Light Runtime Library
  • Implementing a Build Manager in Ada
  • Exporting Ada Software to Python and Julia

Et hop, encore un journal Haribo pour les gourmands.

Donc dimanche, pour changer, la devroom étant historiquement le samedi, ce sera, entre autres, la journée Ada et SPARK.

Demandez le programme !

Au menu de cette 11ème Ada Developer Room, 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 de Jean-Pierre Rosen, président d'Ada-France, 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.
La présentation 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, 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, c'est l'équivalent de Cargo pour Ada.
Présenté pour la première fois en 2020 au FOSDEM, 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 de Fabien Chouteau et Alejandro Mosteo permettra de voir les différentes évolutions de ces deux dernières années.

SweetAda

SweetAda 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é 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 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.
Ce projet utilise LLVM pour générer du code WebAssembly.

Overview of Ada GUI

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 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.
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ésentation à 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 dont j'ai parlé ici et a profité de cette expérience pour faire un petit résumé de son périple.
Il présentera tout cela en détail.
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 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 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, embarquant une floppée de bibliothèques qu'il a écrites en Ada, il a décidé de remplacer Jenkins.
Il présentera donc 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.
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.

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.