Austral: Eine Systemprogrammiersprache mit Fokus auf Einfachheit und Strenge

Austral ist eine neue Systemprogrammiersprache, die auf Einfachheit und Strenge ausgelegt ist. Man kann sie sich als die wesentlichen Funktionen von Rust oder eine modernisierte, reduzierte Version von Ada vorstellen. Zu den Hauptmerkmalen gehören ein starkes statisches Typsystem, lineare Typen, fähigkeitsbasierte Sicherheit und eine starke Modularität. Lineare Typen erzwingen eine korrekte Ressourcenlebenszyklusverwaltung und verhindern Speicherlecks und andere Fehler, während die fähigkeitsbasierte Sicherheit Lieferkettenangriffe mindert. Austral verzichtet auf Funktionen wie NULL, Garbage Collection und Exceptions, um Sicherheit und Vorhersagbarkeit zu maximieren.