Austral - Programming language

home code edit

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

#1318on PLDB

6Years Old

Download source code:

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

Systems language with linear types and capability-based security.

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.