Top 1,000 Features Creators Events Podcasts Extensions Interviews Blog Explorer CSV


< >

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

#901on PLDB 6Years Old
Download source code:
git clone
HomepageSource Code

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.

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.

View source

- Build the next great programming language About Resources Acknowledgements Part of the World Wide Scroll