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

Sortie de Fedora Linux 36

Posté par  (site web personnel) . Édité par Benoît Sibaud et claudex. Modéré par claudex. Licence CC By‑SA.
63
10
mai
2022
Fedora

En ce mardi 10 mai, les utilisateurs du Projet Fedora seront ravis d'apprendre la disponibilité de la version Fedora Linux 36.

Fedora Linux est une distribution communautaire développée par le projet Fedora et sponsorisée par Red Hat, qui lui fournit des développeurs ainsi que des moyens financiers et logistiques. Fedora Linux peut être vu comme une sorte de vitrine technologique pour le monde du logiciel libre, c’est pourquoi elle est prompte à inclure des nouveautés.

Fedora garde un rôle central dans le développement de ces nouveautés via le développement en amont. En effet, les développeurs de la distribution contribuent également directement au code d’un certain nombre de logiciels libres contenus dans la distribution, dont le noyau Linux, GNOME, NetworkManager, PackageKit, PulseAudio, Wayland, systemd, la célèbre suite de compilateurs GCC, etc. Cliquez ici pour voir l’ensemble des contributions de Red Hat.

Cela a été aussi abordé dans une série d'articles ici, et par ici encore.

Bureau de GNOME

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 Le Tiobe nouveau est sorti

Posté par  (site web personnel, Mastodon) . Licence CC By‑SA.
20
12
jan.
2022

Salut les gens et les autres

L’indice Tiobe, qui est, donc, mais vous le savez sans doute déjà, un indice de popularité1 néerlandais (mais le site est anglais) des langages de programmation est sorti. Résultat : Python est le langage de l’année 2021, avec une popularité en hausse de 1,86 %, suivi par C, dont la popularité a baissé (-4,94%) et de Java qui connaît aussi un recul de popularité, mais moindre (−1,30%).

Au hasard Balthazar le

(…)

Journal la rouille et la comtesse

Posté par  (site web personnel, Mastodon) . Licence CC By‑SA.
30
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 (…)