Bonjour les ZerOs

Je voudrais vous présenter un langage de programmation assez nouveau, qui je pense peut être interressant...
Le langage anubis : Site du langage Anubis

Il y a une présentation très bien sur le site, alors je ne vais pas me casser la tete pour en faire une moi meme, là voilà :

Qu'est-ce qu'Anubis ?


Anubis est un langage de programmation qui a été conçu sur des bases de logique mathématique dans le but d'éviter de nombreuses fautes courantes de programmation.

Même si toutes les sortes d'erreurs ne peuvent pas être évitées par Anubis, tellement d'erreurs sont détectées par le compilateur que le débogage est réduit par un facteur proche de 40 comparé à des langages comme C, C++ ou Java.

Anubis est un langage fonctionnel autorisant le style impératif ainsi que le style orienté objet.

Le compilateur Anubis par ses exigences extrèmes, place rapidement le programmeur dans un état avancé de sérénité. La sensation d'être en sûreté vis-à-vis de nombreux types de fautes rend la programmation plus agréable, évite le stress et élimine le risque de régression en cas de réorganisation du programme.

Découvrez vite Anubis et les formidables astuces induites par la Théorie des Catégories sur laquelle il est basé.

Ce serait bien que tu mette un code source qui montre un exemple simple comme un Hello World ou une suite de Fibonnaci.

Voilà un exemple de fichier hello.anubis :

Quelqu'un peut m'expliquer la différence entre le behaviorisme d'Anubis et l'abstraction de Java?

En tout cas moi c'est franchement pas un language qui m'attire. Je serai plutôt intéressé par le language D qui a été aussi présenté sur ce forum.