Ada, le langage vraiment sûr, a un nouveau standard

Par Stephane Carrez

Tout d'abord, meilleurs vœux pour 2024, santé et prospérité dans vos projets, Ada!

En décembre dernier, nous étions présents au salon Open Source Experience où Jean-Pierre a fait une présentation lors des conférences de cet événement. Cette présentation, d'une durée de 20 minutes, est destinée aux ingénieurs ne connaissant pas forcément Ada et montre quelques points clés tels que son évolution au fil du temps, son typage fort, son support des exceptions, etc. Les nouveautés d'Ada 2022 sont brièvement évoquées, notamment le symbole @ pour référencer la partie gauche d'une affectation, le support de la programmation parallèle et les améliorations apportées aux contrats et aux conteneurs. Voici la présentation: Ada, le langage vraiment sûr, a un nouveau standard

Une description complète des évolutions d'Ada 2022 est disponible sur Overview of Ada 2022.

Comme chaque année, le salon Open Source Experience nous a permis de rencontrer d'anciens utilisateurs du langage Ada, des utilisateurs de Rust souhaitant comprendre et comparer les différences avec Ada, ainsi que des curieux qui repartent interloqués par le fait qu'Ada permet de développer à la fois des applications temps réel embarquées sûres, mais aussi des applications complexes allant jusqu'aux sites web.

Voir plus
Pour ajouter un commentaire, vous devez être connecté. Connectez vous pour ajouter un commentaire

[Ann] Formations Adalog: Programme du 1er semestre 2024

Par Jean-Pierre Rosen

Adalog a le plaisir d'annoncer son programme de formations pour le 1er semestre 2024.


Ada cours complet:

   du 19 au 21 et du 26 au 28 février 2024

   du 19 au 21 et du 26 au 28 juin 2024


Tous les détails sur:

https://adalog.fr/fr/formation_dates.html

Pour plus d'information, merci d'écrire à info@adalog.fr, ou de visiter https://www.adalog.fr/

Voir plus

Ada France au salon Open Source Experience 2023

Par Stephane Carrez

Comme l'année précédente, Ada France sera présent au salon Open Source Experience les 6 et 7 Décembre 2023. Venez nous voir au stand B11 du village associatif.

Cette année Jean-Pierre Rosen d'Adalog vous expliquera le 7 Décembre à travers sa présentation Ada, le langage vraiment sûr, a un nouveau standard les principales caractéristiques d'Ada ainsi que les nouveautés apportées par la nouvelle norme ISO Ada 2022.

Images/OSE-2023.png

Voir plus

[Ann] Formations Adalog: Programme du 2ème semestre 2023

Par Jean-Pierre Rosen

Adalog a le plaisir d'annoncer son programme de formations pour le 2ème semestre 2023.

Ada cours complet:

du 20 au 22 et du 27 au 29 septembre 2023

du 13 au 15 et du 20 au 22 décembre 2023


Tous les détails sur https://adalog.fr/fr/formation_dates.html


Pour plus d'information, merci d'écrire à info@adalog.fr, ou de visiter le site Adalog

Pour ajouter un commentaire, vous devez être connecté. Connectez vous pour ajouter un commentaire

La norme Ada 2022 bientôt disponible en livre

Par Jean-Pierre Rosen

Ada-Europe a annoncé que la nouvelle norme Ada (2022) serait, comme les précédentes, publiée chez Springer dans les LNCS (Lecture Notes in Computer Sciences). Compte tenu de son volume, elle sera publiée en deux tomes.

Le prix est en cours de négociation, mais les membres Ada-Europe devraient bénéficier d'un tarif réduit. Une autre bonne raison de nous rejoindre!

Voir plus

Convocation Assemblée Générale Ada-France 2023

Par Stephane Carrez

L'Assemblée Générale d'Ada-France aura lieu le mercredi 28 Juin 2023 à 18h30 dans les locaux d'Adalog au 2 rue du Docteur Lombard 92130 Issy Les Moulineaux et aussi par vision conférence avec le lien:

https://jitsi.hivane.net/AGAdaFrance2023

Voir plus

La norme Ada 2022 est parue!

Par Jean-Pierre Rosen

https://www.iso.org/standard/83621.html

Voir plus

[ANN] UXStrings s'enrichit d'une troisième implémentation.

Par Pascal Pignard

UXStrings (en version UXS_20230401 et aussi sur Alire), bibliothèque Ada d'utilisation de chaînes de caractères Unicode de longueur dynamique, s'enrichit d'une troisième implémentation : UXStrings3. Avec cette dernière implémentation, les caractères sont stockés sous forme Unicode et la gestion de la taille dynamique en mémoire utilise la bibliothèque standard Ada.Strings.Wide_Wide_Unbounded.

Voir plus

Petite vidéo résumant la vie d'Ada Lovelace

Par Stephane Carrez

Ada Lovelace était la première codeuse au monde et le langage Ada porte son nom en son honneur. Mais connaissez-vous son histoire? Regardez cette excellente vidéo faite par France Culture pour résumer sa vie en moins de 4 minutes!

Voir plus
Pour ajouter un commentaire, vous devez être connecté. Connectez vous pour ajouter un commentaire

[Ann] Formations Adalog: Programme du 1er semestre 2023

Par Jean-Pierre Rosen

Adalog a le plaisir d'annoncer son programme de formations pour le 1er semestre 2023.


Ada cours complet:

  du 13 au 15 et du 20 au 22 février 2023

  du 21 au 23 et du 28 au 30 juin 2023


Tous les détails sur:

https://adalog.fr/fr/formation_dates.html


Pour plus d'information, merci d'écrire à info@adalog.fr, ou de visiter

https://www.adalog.fr/

Voir plus

Ada France au salon Open Source Experience 2022

Par Stephane Carrez

Le salon Open Source Experience vient de se terminer. Ces deux jours ont étés fructueux et bien animés par notre équipe de bénévoles. A retenir:

  • Pour apprendre Ada en ligne, allez sur le site https://learn.adacore.com/,
  • Vous pourrez ensuite utiliser Alire pour facilement démarrer votre projet,
  • N'oubliez pas de jeter un oeil sur Ada Forge pour découvrir l'écosystème Ada et ses composants Open Source,
  • Et enfin pour avoir de l'aide, n'hésitez pas à joindre les communautés Gitter Ada Lang ou Gitter Alire, la communauté Ada se fera un plaisir de vous venir en aide!
Voir plus
Pour ajouter un commentaire, vous devez être connecté. Connectez vous pour ajouter un commentaire

Ada-France de nouveau présent au salon Open Source Experience

Par Jean-Pierre Rosen

Logo OSE

Le salon Open Source Experience aura lieu les 08 et 09 novembre, au Palais des Congrès de la porte Maillot à Paris, et Ada-France y aura son stand.

Venez nous y rencontrer, discuter, essayer Ada...

Toutes informations sur https://www.opensource-experience.com/ , y compris pour avoir les badges d'entrée gratuits!

Voir plus
Pour ajouter un commentaire, vous devez être connecté. Connectez vous pour ajouter un commentaire

Nettoyage automatique des données sensibles avec GNAT

Par Pascal Pignard

Dans le développement de logiciels pour des solutions de cybersécurité, une bonne pratique recommande d'éviter que les données sensibles ne restent accessibles lorsqu'elles ne sont plus nécessaires car elles pourraient être utilisées par un attaquant. Une donnée sensible peut être tout ce que le programmeur définit en tant que tel : clé de chiffrement, donnée non chiffrée, mot de passe, etc.

GNAT va nous apporter une solution pour effectuer ce nettoyage de façon automatique.

En savoir plus -> voir plus.

Voir plus
Pour ajouter un commentaire, vous devez être connecté. Connectez vous pour ajouter un commentaire

Développement Ada sous FreeBSD 13.1

Par Stephane Carrez

Le support Ada a été supprimé des ports FreeBSD 13.1 car il était obsolète. En effet, le port gcc6-aux a été déclaré obsolète et a expiré le 28 Février 2022. Il n'y a aucune indication sur une solution de remplacement et l'utilisation d'Ada pour FreeBSD est cela reste un défi mais ce n'est pas impossible. Cet article propose un certain nombre d'étapes et de commandes qui m'ont aidé à configurer un nouveau compilateur Ada basé sur GCC 12 sur une nouvelle installation de FreeBSD 13.1.

Voir plus
Pour ajouter un commentaire, vous devez être connecté. Connectez vous pour ajouter un commentaire

Ada-France de nouveau présent au salon Open Source Experience

Par Jean-Pierre Rosen

Ada France sera de nouveau présent au village associatif du salon Open Source Experience les 8 et 9 Novembre prochain au Palais des Congrès à Paris. Vous pouvez être volontaire pour tenir le stand quelques heures, ou simplement venir visiter le salon et nous dire bonjour. Nous communiquerons le numéro du stand dès qu'il nous aura été attribué...

Cet événement est gratuit et vous pouvez obtenir votre badge d'accès sur le site Open Source Experience.

Venez discutez avec nous des dernières évolutions du langage Ada 2022, voir quelques démonstrations et en apprendre un peu plus sur ce langage!

A bientot au salon!

Voir plus

King : une nouvelle façon de programmer ?

Par Pascal Pignard

King est le nom d'un nouveau langage de programmation qui fait rare n'est pas dérivé d'un langage basé sur une syntaxe délimitée par des accolades ouvrantes et fermantes ;-) mais proche d'Ada. Il apparaît pour la première fois en octobre 2021 sous la forme d'un manifeste publié sur Github.

En savoir plus -> voir plus.

Voir plus
Pour ajouter un commentaire, vous devez être connecté. Connectez vous pour ajouter un commentaire

Le compilateur GNAT est maintenant sur Alire

Par Pascal Pignard

Cette année pas de publication par AdaCore de l'environnement de développement pour Ada : GNAT Community Edition. Cela concerne l'ensemble des plateformes et non plus seulement macOS comme l'année dernière. Cependant ces publications ont été reprises sur Alire à partir des sources FSF pour le compilateur GNAT.

Le détail des opérations d'installation -> voir plus.

Voir plus
Pour ajouter un commentaire, vous devez être connecté. Connectez vous pour ajouter un commentaire

Programme des formations Adalog, 2ème semestre 2022

Par Jean-Pierre Rosen

Adalog a le plaisir d'annoncer son programme de formations pour le 2eme semestre 2022.  Ces formations ont lieu en présentiel, dans le strict
respect des règles sanitaires (présentes ou à venir). Noter que le nombre de stagiaire est limité à 5, sauf nouvelles mesures dans le futur.

Ada cours complet:
   du 21 au 23 et du 28 au 30 septembre 2022
   du 12 au 14 et du 19 au 21 décembre 2022

Ada 2005 et 2012
   du 05 au 07 octobre 2022

Tous les détails sur:
https://adalog.fr/fr/formation_dates.html

Pour plus d'information, merci d'écrire à info@adalog.fr, ou de visiter
https://www.adalog.fr/
Voir plus
Pour ajouter un commentaire, vous devez être connecté. Connectez vous pour ajouter un commentaire

Convocation Assemblée Générale Ada-France 2022

Par Stephane Carrez

L'Assemblée Générale d'Ada-France aura lieu le jeudi 30 Juin 2022 à 18h dans les locaux d'Adalog au 2 rue du Docteur Lombard 92130 Issy Les Moulineaux et aussi par vision conférence.

Voir plus

[Ann] Formations Adalog: Programme du 1er semestre 2022

Par Jean-Pierre Rosen

Adalog a le plaisir d'annoncer son programme de formations pour le 1er semestre 2022.

Ces formations ont lieu en présentiel, dans le strict respect des règles sanitaires (présentes ou à venir).

Noter que le nombre de stagiaire est limité à 5, sauf nouvelles mesures dans le futur.


Ada cours complet:

   du 23 au 25 février et du 02 au 04 mars 2022

   du 21 au 23 juin et du 28 au 30 juin 2022


Ada 2005 et 2012

   du 20 au 22 avril 2022


Tous les détails sur https://adalog.fr/fr/formation_dates.html

Pour plus d'information, merci d'écrire à info@adalog.fr, ou de visiter https://www.adalog.fr/


Voir plus