Jan :rust: :ferris: on Nostr: The #Austral Programming Language https://austral-lang.org/ "Austral is a new systems ...
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
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