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

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

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

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

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

Si vous ne savez pas quoi faire le 26 mai prochain après le confinement et que vous êtes un tant soit peu curieux, l'association Ada-France, en partenariat avec les sociétés AdaCore, AdaLog et Systerel, propose une conférence en WebEx sur Ada.

Il s'agit d'un webinar d'une heure à partir de 10h.
C'est gratuit mais il faut s'inscrire là

Au sommaire:

• Une introduction générale au langage Ada
• Maintenabilité et portabilité,
• Programmation Orientée Objet (POO),
• Programmation Par Contrat (PPC) et approche formelle (…)

Cette année, contrairement à l'année dernière, ce sera un journal plutôt qu'une dépêche (cf. la précédente édition) et pour cause, la troisième édition est terminée et les lauréats ont été désignés hier :)

Pour rappel, Make with Ada est une compétition de programmation, organisé par AdaCore, dont l'objectif est de faire un projet de logiciel embarqué en Ada et/ou Spark.

Les prix sont de 5000$/5000€ pour le 1er, 2000$/2000€ pour le second et 1000$/1000€ pour le troisième.

(…)

Et voilà, à peine développé et déjà un fork :)

Suite au journal de mzf, j'ai décidé de porter le taptempo en Ada.

Pourquoi faire ? Juste pour le plaisir :)
Et puis aussi parce que le logiciel était suffisamment court pour faire un portage rapide et montrer différents aspects d'Ada sur un programme déjà existant en C++.

Après une version Rust, voici donc, comme promis, la version Ada et sa petite explication… Enfin, deux versions.

Première

Bon, ce sera presque un journal bookmark mais je vais essayer d'étoffer un peu.

Dans la même veine que l'excellent journal sur la ré-écriture de Gnirehtet en Rust, un article sur ElectronicDesign vient de sortir sur le portage de l'implémentation de référence en C d'un décodeur MPEG-2 vers Ada.
Bon, l'article est co-écrit par Raphaël Amiard d'AdaCore et Gustavo Hoffmann de chez Dolby ce qui présage tout de même d'un peu d'évangélisation.
Toutefois, cet article a le mérite (…)

Et voilà un journal bookmark, pour faire suite à cette dépêche, le concours étant maintenant terminé, voici les résultats :
- Premier prix : un contrôleur de moteur à courant continu
- Second prix : une montre à tout faire sur la base d'un module de développement Hexiwear
- Troisième prix : Développement d'une pile TCP pour micro-contrôleur STM32 et portage d'un client MQTT et d'un serveur HTTP.

Du beau boulot :)

Salut à tous,
après l'excellent journal d'Anaseto sur le fameux "1+3a", un pote à moi, prof de maths à L'INSA de Rouen, m'a demandé de faire ce petit journal après une "découverte" faite par ses étudiants.
Ceux-ci écrivant des tests unitaires en Free Pascal sont tombés sur un comportement non documenté qui nous a amené à nous poser la question du "comment ksa fait sur les autres langages" :)

Le problème

Le problème vient de l'opérateur de décalage de (…)

Bon, d'habitude, j'aime pas trop faire de journal bookmark mais bon, le lien est sympa.
Vous l'aurez deviné, c'est encore en rapport avec le langage Ada.
Il s'agit d'un petit tuto basé sur un jeu de devinette numérique comme on peut en trouver pour Rust ou Go.
Je le trouve bien détaillé et simple à comprendre.
Voilà, c'est là

Allez un petit journal bookmark issu du blog d'Adacore, ça faisait longtemps :)
Certains connaissent peut-être le crazyflie. Pour les autres, il s'agit d'un quadricoptère, en clair, un drone à quatre rotors.
Une de ses particularités est sa petite taille, il tient dans le creux de la main, mais pour les libristes que nous sommes, le gros intérêt est qu'il est ouvert, aussi bien d'un point de vue hardware que software (cf. là).
J'en arrive (…)