Introducing Austral: A Systems Language with Linear Types and Capabilities
Introducing a new programming language.
Hasnain says:
Great exposition of ideas in programming language design conveyed through documentation. I’m looking forward to trying this.
“This isn’t for everyone. But it is for me, because after ten years in the industry, the last thing I want from a programming language is “power”. What I want are fewer nightmares. The “liberties” that programming languages provide feel like expressive power until your codebase becomes a mental health superfund site.”
Posted on 2022-12-31T20:46:19+0000