janriemer, 5 months ago to rust

The #Austral Programming Language

https://austral-lang.org/

"Austral is a new systems #ProgrammingLanguage. You can think of it as #Rust: The Good Parts or a modernized, stripped-down #Ada. It features a strong #StaticTypeSystem, #LinearTypes, capability-based security, and strong modularity."

Introducing Austral: A Systems Language with Linear Types and Capabilities:

https://borretti.me/article/introducing-austral

Looks like my prediction of future programming langs hold true:
https://floss.social/@janriemer/109727164361812679