Journal Retour sur une année d'apprentissage d'Ada par un dev C++

Posté par  (site Web personnel) . Licence CC By‑SA.
Étiquettes :
15
31
mar.
2022

Cette année, AdaCore organisait un nouveau concours, Ada Crate of the year.

Les habitués de Rust auront reconnu le terme crate qui correspond, grosso modo, à une bibliothèque ou une application que l'on construit via un package manager Cargo.

En Ada, le projet Alire vise le même but et le fonctionnement est similaire. Un projet Alire est, tout comme en Rust, recompilé, dépendances comprises et linké en un exécutable.

Venons-en maintenant au sujet du journal.

Paul Jarrett est (…)

Journal Ada au FOSDEM

Posté par  (site Web personnel) . Licence CC By‑SA.
Étiquettes :
15
4
fév.
2022

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 (…)

Journal Renaissance Ada

Posté par  (site Web personnel) . Licence CC By‑SA.
Étiquettes :
24
2
fév.
2022

Désolé pour le titre qui pourrait faire penser à une secte mais je n'y peux rien.

Renaissance Ada est le nom d'un ensemble bibliothèques et outils.

Le but de ces outils est de permettre la visualisation graphique de la structure d'un code, son analyse et sa modification en fonction de règles.

Pour ceux qui veulent aller vite (et les autres aussi, c'est intéressant), il y a une vidéo d'une vingtaine de minutes expliquant ce que l'on peut faire sur la (…)

Journal Re-implémentation de TweetNaCl en Spark

Posté par  (site Web personnel) . Licence CC By‑SA.
Étiquettes :
27
26
jan.
2022

A l'origine, ce n'était qu'un lien mais finalement, cela méritait un journal sur Spark.

Avant de vous filer le lien sur le portage, on va commencer par un petit exemple rapide de ce que peut faire Spark.

Mais c'est quoi Spark ?

Spark est, aujourd'hui, un sous-ensemble d'Ada restreignant les capacités aux fonctions sécurisées et non-abmigües.

Via un ensemble d'aspects, une sorte d'annotations, le compilateur gnatprove génère des conditions de vérification pour chaque sous-programme.
Ces conditions de vérification (…)

Journal Sortie de HAC

Posté par  (site Web personnel) . Licence CC By‑SA.
Étiquettes :
24
24
jan.
2022

Suite à la demande presque générale, j'ai décidé de faire un peu plus de journaux sur Ada et Spark.

Et hop, on commence avec la sortie de la dernière version de HAC.

HAC est un compilateur open-source Ada codé entièrement en… Ada.

Bon, ne nous enflammons pas, il ne couvre pas l'intégralité du langage mais cela a permis à Gautier, son concepteur, d'implémenter l'Advent of code de cette année et de l'intégrer au jeu des exemples (…)

Journal la rouille et la comtesse

Posté par  . Licence CC By‑SA.
28
17
nov.
2021

Salut 'nal.

Il y a quelques mois, je me suis mis au langage Rust qui était alors le plus plébiscité de StackOverflow (et ce quatre années de suite…) et qui arrive second au dernier AOC sur Redit.
Les début de la noce furent belle. Cependant, après moins d'une semaine, j'ai du faire une pose qui dura plus longtemps que prévu, et au retour il ne fut pas aisé de se remettre dans la syntaxe cryptique. Ce n'est pas le (…)

Journal Les strings d’Ada

Posté par  (site Web personnel) . Licence CC By‑SA.
Étiquettes :
51
7
nov.
2021

Ce titre est légèrement trompeur, désolée. Il n’y a pas plusieurs strings, mais un seul, mais rien ne vous empêche d’en faire d’autres après tout.

Un retour en arrière s’impose pour commencer.

Ipot à la rescousse

Quelque part au cours de cette année, je ne sais plus qui a émis dans un commentaire une remarque sur le manque d’élasticité des strings d’Ada, le langage informatique. N’étant pas informaticienne, mais étant francophone, j’ai aussitôt pensé à Ada et à ses sous-vêtements (…)

Journal Episode de Podcast francophone sur le langage Ada

Posté par  . Licence CC By‑SA.
Étiquettes :
25
15
mai
2021

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

Sortie de GHDL version 1.0.0

Posté par  (site Web personnel) . Édité par palm123, Yves Bourguignon, ymz, Benoît Sibaud et Ysabeau. Modéré par ted. Licence CC By‑SA.
Étiquettes :
27
6
fév.
2021
Matériel

GHDL est un logiciel écrit en Ada permettant de faire l'analyse, la compilation, la simulation ainsi que la synthèse du VHDL. Le VHDL, quant à lui, est un langage de description matériel très utilisé dans le développement sur FPGA ou ASIC. À l'origine, GHDL est un « side-project » de Tristan Gingold lui permettant de se faire la main avec Ada.

GHDL est devenu l'outil indispensable pour faire de la simulation VHDL aujourd'hui. Après presque 20 ans de développement, voici que sort en version 1.0.0 le logiciel de simulation VHDL nommé GHDL. En prime, GHDL s'offre un nouveau logo:

logo GHDL