Austral - Programming language

Austral is a programming language created in 2018 by Fernando Borretti.

#683on PLDB

6Years Old

Download source code:

git clone https://github.com/austral/austral/

Austral is a new systems programming language. You can think of it as Rust: The Good Parts or a modernized, stripped-down Ada. It features a strong static type system, linear types, capability-based security, and strong modularity.

Tags: programming language
Austral is developed on GitHub and has 1,101 stars
Early development of Austral happened in https://github.com/austral/
Austral is written in Markdown, OCaml, Make, JSON, TypeScript, Python, Vim script, Nix, YAML, Bourne shell, C, Lisp
Read more about Austral on the web: 1.

Example from the web:

let db: Db := connect("localhost");
close(db);
-- The below is tuple destructuring notation.
let { first as db1: Db, second: Rows } := query(db, "SELECT ...");
close(db); -- error: `db` consumed again.
-- another error: `db1` never consumed.