The Austral Programming Language
source link: https://austral-lang.org/
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
The Austral Programming Language
The Austral Programming Language
Austral is a new systems programming language. It uses linear types to provide memory safety and capability-secure code, and is designed to be simple enough to be understood by a single person, with a focus on readability, maintainbility, and modularity.
© 2021–2023 Fernando Borretti
Recommend
-
7
Austral Not done yet. Austral is a new language. Features: Linear types: linear types allow resources to be handled in a provably-safe manner. Memory can be managed safe...
-
2
Introducing Austral: A Systems Language with Linear Types and Capabilities Austral is a new systems programming language. You can thi...
-
1
First M2 MacBook Air Orders Now Arriving to Customers in New Zealand and Australia
-
3
How Austral’s Linear Type Checker Works What I cannot create, I do not understand. — Richard Feynman Austr...
-
2
February 10, 2023 ...
-
4
Friday, 21 April 2023 11:19 ACCC seeks views on ‘competition and consumer issues’ affecting Australian savers Featured By Gordon Peters ...
-
1
How Capabilities Work in Austral Code is permissionless by default. Rather, all code within the same address space runs with uniform permissions, despite different modules having different...
-
91
Details Valid
-
123
The Lemon Programming Language Overview src source code of Lemon compiler and virtual machine lib source code of core Lemon library doc documentations of source code
-
186
This is go-mode, the Emacs mode for editing Go code. It is a complete rewrite of the go-mode that shipped with Go 1.0.3 and before, and was part of Go 1.1 until Go 1.3. Beginning with Go 1.4, editor integration will not be part of the Go di...
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK