juin
2009
Un article de SpiceGuid
Anubis est un langage de programmation fonctionnelle pour la programmation sûre de site Web ou de logiciel embarqué.
Une mise à jour du langage Anubis est disponible sur la page du projet Anubis, en version Windows ou en version Linux.
Le site vitrine du langage Anubis est actuellement en phase de maintenance/transition. Si vous avez des questions à poser sur Anubis je vous invite à le faire dans le forum « langages fonctionnels ».
L’équipe derrière Anubis est une alliance peu commune entre le monde académique et le monde commercial et industriel.
Côté académique, le principal architecte du langage Anubis est un mathématicien qui a fait un passage remarqué et remarquable sur les forums de developpez.com. On lui doit notamment une petite introduction aux types dépendants, une discipline de typage particulièrement exigeante utilisée par les logiciels assistants de preuve et capable, entre autres, de certifier formellement qu’une implémentation respecte bien sa spécification. L’originalité de cette garantie par rapport à d’autres méthodes de spécification c’est qu’elle ne laisse que peu de place à l’erreur humaine puisqu’elle est vérifiée par la machine.
Côté commercial, le principal utilisateur du langage est la société Calexium qui innove dans le domaine des serveurs de messagerie avec son boitier MailFountain. Le middleware embarqué de ce boîter primé (Médaille d’Or et Prix Spécial du jury du salon international des inventions de Genève du 1er au 5 avril 2009) qui ne consomme que 7 Watts est entièrement écrit en Anubis.