Austral : Un langage de programmation système axé sur la simplicité et la rigueur
2025-03-20
Austral est un nouveau langage de programmation système conçu pour la simplicité et la rigueur. Imaginez-le comme les fonctionnalités essentielles de Rust ou un Ada modernisé et simplifié. Ses principales caractéristiques incluent un système de types statiques robuste, des types linéaires, une sécurité basée sur les capacités et une forte modularité. Les types linéaires garantissent une gestion correcte du cycle de vie des ressources, évitant les fuites de mémoire et autres erreurs, tandis que la sécurité basée sur les capacités atténue les attaques de la chaîne d'approvisionnement. Austral évite les fonctionnalités telles que les NULL, le garbage collection et les exceptions pour maximiser la sécurité et la prévisibilité.