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 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.

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