Austral - Programming language

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

Source code:

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

#1378on PLDB

6Years Old

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.

Austral website
Austral is developed on GitHub and has 408 stars
Austral first developed in https://github.com/austral/
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.