Ada France

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!

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.

Pourquoi j'ai tout de suite adoré King :

  • les nombres entiers et réels nativement disponibles pouvant être d'étendue non limitée
   type Factorial is range <> with Default_Value => 0;
   type Rational is digits <> with Default_Value => 0;
  • les caractères et les chaines de caractères nativement en Unicode et de taille non limitées pour les chaines
   type String is sequence of Unicode;
  • les containers vecteur, map, set nativement accessibles très simplement par mots clés

   type Stack is sequence of Message;
   type Store is map Part_Key => Stock_Info;
   type File_Mask is set of File_Mode;

  • une syntaxe particulière innovante avec l'identifiant en premier ce qui force la réflexion à en trouver en premier lieu avant de partir sur une déclaration   
  • use King.IO.Text;
    Hello_World : procedure body is
       
Message = "Hello, World!"; -- This is a named string
    Hello_World : begin
    
   King.IO.Text.Put_Line (Line => Message); -- Implicitly converted to String
    Hello_World : exception
    when others =>
       raise;
    Hello_World : end procedure;
  • la gestion de la mémoire n'est plus à la charge du programmeur
  • une programmation modulaire et paramétrable avec des macro-modules
  • une programmation par contrat
  • une programmation concurrente
  • une interface avec le système avec KILLAR ou Ada (!)
  • et bien d'autres particularités bienvenues mais qui parfois apparaissent contraignantes au premier abord.

En conclusion, King nous emmène vers une nouvelle façon de programmer qui pourrait bien inspirer Ada.

Pour aller plus loin, la syntaxe du langage est en cours de formalisation sur Wikibooks.

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.

Installer auparavant l'utilitaire alr pour avoir accès à la bibliothèque Alire, cf. la documentation.

Lancer un Terminal et taper les commandes suivantes :

# L'installation peut se faire dans n'importe quel dossier,

#   mais pour éviter les conflits je prends /opt

% mkdir /opt/gnat-alire

% cd /opt/gnat-alire

% alr get gnat_native

ⓘ Deploying gnat_native=11.2.4...

...

# L'installation ne comprend pas les outils de gestion de projet GPR

# Nous les ajoutons

% alr get gprbuild

ⓘ Deploying gprbuild=22.0.1...

################################################# 100,0%

gprbuild=22.0.1 successfully retrieved.

There are no dependencies.

% cd gnat_native_11.2*

% cd bin

% ln -s /opt/gnat-alire/gprbuild_22*/bin/gpr* .

# Pour simplifier les chemins j'ajoute un raccourci générique "gnat"

% cd /opt

% ln -s gnat-alire/gnat_native_11.2* gnat

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

L'association

L'association Ada France est une association sans but lucratif (loi de 1901) dont le but est la promotion des bonnes pratiques d'ingénierie logicielle en général et du langage Ada en particulier.

Elle permet à tous ceux intéressés par Ada de se rencontrer et d'échanger de l'expérience; en 2014, elle a organisé la conférence Ada-Europe à Paris.

Mascotte Ada

Le langage Ada

Le langage Ada est un langage de programmation impératif, fortement typé, développé depuis les années 1980. Il a depuis connu plusieurs évolutions et re-normalisations en 1995, 2005 et 2012.

Les actions

L'association Ada-France organise un réseau offrant un lieu d'échange aux différents utilisateurs du langage Ada. L'association est également présente dans différents rassemblements majeurs de communautés du logiciel libre français et européens tels que « Solutions Linux » ou les « FOSDEM ».

Ada Europe

Ada france est membre de Ada Europe. Cette organisation est éditrice du « Ada User Journal », et organise de manière annuelle la conférence « International Conference on Reliable Software Technologie ».

Rejoindre Ada-france

Rien de plus simple ! Vous pouvez vous inscrire en ligne via notre formulaire sur la page: Adhésion Ada-France.