Tag - Ada

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

GNAT Community 2018

Par Stephane Carrez

Voila, le cru 2018 du compilateur Ada d'AdaCore est disponible.

Vous pouvez le télécharger gratuitement en allant sur la page: https://www.adacore.com/download

Parmi les nouveautés, on notera:

  • Le support des cartes BBC micro:bit (ARM Cortex-M0),
  • Le support du RISC-V,
  • Le compilateur SPARK est désormais inclu pas défaut,
  • Le compilateur Ada est maintenant basé sur gcc 7.3.1,
  • Longtemps attendue, une version Windows 64 bits est disponible,
  • Les utilisateurs de MacOS pourront aussi profiter du compilateur croisé Ada pour ARM.

Disponibles en natif pour Linux x86-64, Windows 64 bits, MacOS x86-64, le nouveau compilateur est aussi disponible en croisé pour ARM-ELF et RISC-V.

Il ne vous reste plus qu'à télécharger cette nouvelle version, et ensuite de vous excercer avant de vous inscrire à la prochaine compétition de développement Ada sur makewithada.org

L'annonce officielle: GNAT Community 2018

Organisation Ada France sur Github

Par Stephane Carrez

Ada France peut désormais gérer un groupe de projets Open Source dans GitHub. L'objectif est de pouvoir partager des exemples, promouvoir des projets.

Cette organisation héberge déjà trois projets:

  • Les sources du site Web d'Ada France sont disponibles dans le projet ada-france,
  • Ayacc est un parseur de grammaire et générateur de code Ada écrit par David Taback et Deepak Tolani de l'université Irvine en Californie. Ce parseur a ensuite été amélioré par plusieurs personnes et les derniers sources sont disponibles dans le projet ayacc,
  • Aflex est un analyseur lexical et générateur de code Ada écrit par John Self du projet Arcadia de l'université Irvine en Californie. Tout comme Ayacc, il a évolué depuis et les sources sont disponibles dans le projet aflex

Bien sur nous esperons que cette liste s'agrandira et que d'autres projets Ada viendront la compléter!

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

Approbation totale pour Ada 2012

Par Rosen Jeanpierre

La proposition de nouvelle norme Ada 2012a été approuvée à l’ISO, par 14 votes « pour » sans commentaires sur 14 votants (P members)! Cette approbation sans réserve épargne à la proposition un nouveau tour de scrutin, autrement prévu par la procédure. La norme est maintenant en cours d’enregistrement, et avec un peu de chance, pourra être officiellement publiée avant le 31 décembre 2012. Pour plus de détails sur les nouveautés, consultez le site dédié à Ada 2012 (en anglais): http://www.ada2012.org/

Nouvelle édition de la Charte Debian pour Ada

Par Rosen Jeanpierre

Cette Troisième Édition de la Charte Debian pour Ada reflète la manière dont les paquets sont faits dans Debian 5.0 « Lenny ». Le document est disponible en anglais en HTML, texte, PDF, info et texinfo. La source texinfo de ce document se trouve dans la base de données Monotone publique d’Ada-France. Les changements depuis la Seconde Édition (Debian 4.0 « Etch »):

  • Publication finale de l’Amendement 1 (Ada 2005)
  • Transition vers GCC 4.3
  • Les fichiers projets deviennent des fichiers projets de bibliothèques (library project files)
  • GLADE remplacé par PolyORB (mais malheureusement pas fourni dans Debian)

Ada-Belgium organise un barbecue avec atelier Debian le 18 mai 2008

Par Rosen Jeanpierre

Ada-Belgium organise un barbecue avec atelier de mise au point de paquetages Debian, sur une demi-journée, le 18 mai 2008, à Louvain. Les personnes intéressées doivent s’inscrire à l’avance. Le barbecue est gratuit pour les membres d’Ada-Belgium, et payant (10 euros) pour les non-membres. Le reste de la journée est gratuit. Voir en ligne : L’invitation officielle en anglais, avec description de la demi-journée

AdaControl dans Debian

Par Rosen Jeanpierre

AdaControl, le logiciel libre de vérification de normes de codage écrit par AdaLog pour Eurocontrol, est arrivé dans Debian instable. Sa série de tests intégrée m’a permis de déterminer qu’ASIS 2005 GPL Edition fonctionnait bien avec GCC 4.1 à condition de désactiver les assertions, mais qu’ASIS 2006 GPL Edition ne fonctionnait pas, à cause de changements nécessaires au compilateur. Ainsi, c’est ASIS 2005 qui sera dans Debian Etch, et qui est déjà dans instable. Un des avantages de l’intégration dans Debian est qu’AdaControl dispose maintenant d’une base de données pour garder …

Ada dans Debian: transition vers GCC 4.1 pour Etch

Par Rosen Jeanpierre

Le compilateur Ada par défaut de Debian va passer de GNAT 3.15p à GCC 4.1. Toutes les bibliothèques seront recompilées avec ce nouveau compilateur. Attention, la license de plusieurs bibliothèques change en GPL pure. Debian est, entre autres, une excellente plate-forme de développement et de déploiement de programmes en Ada. Dans la version stable actuelle, « Sarge », cette plate-forme utilise GNAT 3.15p. Dans la prochaine, « Etch », le compilateur sera GCC 4.1.