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

Salut les gens et les autres

L’indice Tiobe, qui est, donc, mais vous le savez sans doute déjà, un indice de popularité¹ 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

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

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

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