Ada France

Pour s'entrainer...

Par Frédéric Praca

Vous aimez faire de l'Ada ou vous débutez en Ada ?

Vous cherchez un moyen amusant de vous entraîner ?

Voici quelques liens qui vous permettront de le faire. Ce sont des sites proposant des énigmes simples ou complexes et surtout permettant de fournir une solution en Ada.

  • DM::OJ : Site anglophone proposant des énigmes qui vont du simple "hello world" à des puzzles algorithmiques impliquant des connaissances en théorie des graphes.
  • CodeChef : Site anglophone proposant des concours de code mais avec la possibilité de s'entraîner sur les anciennes compétitions. On peut aussi choisir par niveau
  • Sphere Online Judge : Dans le même style que DM::OJ, peut-être plus joli :)


Et voilà


Amusez-vous bien

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

GNAT Community 2021

Par Stephane Carrez

La société AdaCore vient d'annoncer la disponibilité du compilateur GNAT Community 2021.

Vous pouvez le télécharger sur leur site: https://www.adacore.com/download

Cette nouvelle version est basée sur la version 10.3.1 de GCC, les GNU Binutils 2.33.50 et GDB 10.2.90.

Parmi les nombreuses améliorations et corrections, on notera:

  • un support de plusieurs nouvelles fonctionnalités de Ada 2022 (Jorvik real-time tasking profile, filtres d'itérateurs, nombres à précision infinie, @ symbol...)
  • un compilateur plus strict dans la détection et validation les règles de programmation Ada,
  • GNAT Studio a une intégration avec clangd et permet une meilleure navigation en C/C++, la navigation en Ada est aussi meilleure grâce à une meilleure prise en compte des types dynamiques,
  • La librairie Libadalang a beaucoup évoluée avec de nombreuses APIs,
  • Le support des pointeurs SPARK prends en compte les dernières notions d'ownership dans la validation.

Le compilateur est disponible pour Linux-64 et Windows-64 en natif, ou pour des développements croisés en ARM ou RISC-V.

L'annonce complète: GNAT Community 2021 is here!

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

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

Par Stephane Carrez

L'Assemblée Générale d'Ada-France aura lieu le mercredi 2 Juin 2021 à 18h par vision conférence.

Cette convocation a été envoyée aux membres, mais pour rappel, voici l'ordre du jour:

* Rapport moral
* Rapport financier
* Tarif des cotisations
* Bilan des activités de l'année
* Organisation des activités futures
* Divers

Le mercredi 2 Juin à 18h, rejoignez la conférence vidéo via le lien: https://meet.google.com/qmf-sxvb-sjt

Rappel:
N'attendez pas le 2 Juin pour renouveler votre adhésion à Ada-France et/ou Ada-Europe. Vous ne pourrez pas régler votre cotisation sur place comme les années précédentes. Mais désormais vous pouvez vous inscrire directement sur notre site sur:

https://www.ada-france.org/adafr/adhesion/index.html


La diffusion du Ada User Journal ayant été perturbée par la COVID-19, Ada-Europe a décidé de prolonger la cotisation Ada-Europe 2020 jusqu'au 31 mars 2022.

Le montant des cotisation est donc:

* Pour un nouveau membre Ada-France et Ada-Europe: 65 euros,
* Pour un renouvellement Ada-France et Ada-Europe: 30 euros,
* Adhésion Ada-France seul: 30 euros.

Le paiement n'étant pas encore disponible en ligne, nous vous demandons ensuite de régler votre cotisation soit par virement bancaire soit par chèque.

En adhérant à Ada-Europe, vous recevrez les Ada User Journal et vous permettez à Ada-France de disposer d'une voix supplémentaire lors de la prochaine assemblée générale d'Ada-Europe le mardi 15 Juin 2021 à 18h30.

Le secrétaire.

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.