Alire, le package manager d'Ada

Posté par  (site web personnel, Mastodon) . Édité par Xavier Teyssier, Pierre Jarillon, Benoît Sibaud et Ysabeau 🧶. Modéré par Ysabeau 🧶. Licence CC By‑SA.
Étiquettes :
28
1
juin
2022
Ada

Dans un précédent journal, il m’a été demandé de présenter Alire sous la forme d’une dépêche. Voilà, j’ai fini par prendre le temps et j’ai choisi la façon de le présenter.
Je vous propose donc une sorte de pas-à-pas plutôt qu’une explication un peu brutale

Le but

Nous allons donc créer des crates Alire (les Rustistes auront reconnu le terme).
J’ai bien dit des car cela va permettre de voir les deux types, lib ou bin que l’on peut créer.

Le projet

Le but n’étant pas d’écrire du code Ada, on va prendre un de mes projets préférés qui n’a, au moment de l’écriture de ces lignes, pas de crate associée.
J’ai nommé le Corporate Bullshit Generator, logiciel ô combien indispensable, source inépuisable d’études en scalabilité (autopromotion).

Ce magnifique projet est l’œuvre de Gautier de Montmollin qui produit aussi des choses beaucoup plus sérieuses comme Zip-Ada, une lib pour gérer les archives zip, Ada PDF Writer ou HAC, un compilateur Ada partiel.
Évidemment, tout est codé en pur Ada.

Bon assez causé, on y va direct car c’est NOTRE PROJEEEEETTTT :)

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

Posté par  (site web personnel, Mastodon) . Licence CC By‑SA.
Étiquettes :
16
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, Mastodon) . 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, Mastodon) . Licence CC By‑SA.
Étiquettes :
25
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, Mastodon) . Licence CC By‑SA.
Étiquettes :
28
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, Mastodon) . Licence CC By‑SA.
Étiquettes :
25
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 WebEx Ada France le 26 mai à 10h

Posté par  (site web personnel, Mastodon) . Licence CC By‑SA.
Étiquettes :
9
22
avr.
2020

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

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

Journal Make with Ada troisième édition

Posté par  (site web personnel, Mastodon) . Licence CC By‑SA.
Étiquettes :
10
27
mar.
2019

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.

(…)

Journal Portage de TapTempo en Ada

Posté par  (site web personnel, Mastodon) . Licence CC By‑SA.
Étiquettes :
26
26
fév.
2018

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

(…)

Journal Retour d'expérience et présentation d'Ada dans le contexte d'une appli audio

Posté par  (site web personnel, Mastodon) . Licence CC By‑SA.
Étiquettes :
22
12
nov.
2017

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

Journal Make with Ada édition 2 suite et fin

Posté par  (site web personnel, Mastodon) . Licence CC By‑SA.
Étiquettes :
17
26
oct.
2017

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 :)

Make with Ada deuxième édition

Posté par  (site web personnel, Mastodon) . Édité par Davy Defaud, Pierre Jarillon et Benoît Sibaud. Modéré par ZeroHeure. Licence CC By‑SA.
Étiquettes :
19
19
mai
2017
Ada

Concours de programmation en Ada

Ada est le langage de programmation par excellence lorsque la sécurité, la fiabilité et la pérennité sont essentiels.

Pour la deuxième année consécutive, AdaCore ouvre à tous un concours de programmation autour de ses technologies à savoir Ada et Spark.

Les détails sont en deuxième partie

Journal Un décalage de 64 bits, ça vous inspire comment ?

Posté par  (site web personnel, Mastodon) . Licence CC By‑SA.
46
14
mai
2017

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

Journal Un journal _bookmark_

Posté par  (site web personnel, Mastodon) . Licence CC By‑SA.
Étiquettes :
5
13
mar.
2017

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

Journal Y a des stages plus sympas que d'autres !

Posté par  (site web personnel, Mastodon) . Licence CC By‑SA.
Étiquettes :
30
31
mai
2015

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. ).
J'en arrive (…)