What is Nostr?
Jan :rust: :ferris: /
npub12n5…ny86
2023-12-31 14:06:16

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
Author Public Key
npub12n50jcn6hn6s7gnfrra0ucyqxmue8nznj2ek2dqa6eucwv2s6hyq50ny86