Dan Tobias: /* Links */

2023-01-02T16:08:31Z

‎Links

Dan Tobias: Created page with "{{FormatInfo |formattype=Languages |subcat=Programming Languages }} '''Austral''' is promoted as "A Systems Language with Linear Types and Capabilities". It is a new programmi..."

2023-01-02T16:06:14Z

Created page with "{{FormatInfo |formattype=Languages |subcat=Programming Languages }} '''Austral''' is promoted as "A Systems Language with Linear Types and Capabilities". It is a new programmi..."

New page

{{FormatInfo
|formattype=Languages
|subcat=Programming Languages
}}
'''Austral''' is promoted as "A Systems Language with Linear Types and Capabilities". It is a new programming language still under construction as of early 2023, and is intended to ensure correctness and security by having really strict rules about how its data types can be used, enforced at compile time. For instance, "linear types" can only be used exactly once; it's an error to either fail to use a variable of such a type at all, or to use it twice or more. Multiple use is handled by having functions it is passed to return the original variable so it can be used again. "Capabilities" are linear objects granting permission to do something, such as access a particular directory in a filesystem or network socket, which have to be "lent" to and "returned" from functions that need them.

== Links ==
* [https://borretti.me/article/introducing-austral Introducing Austral]

← Older revision		Revision as of 16:08, 2 January 2023
Line 6:		Line 6:

	== Links ==		== Links ==
		+	* [https://github.com/austral/austral Github site]
	* [https://borretti.me/article/introducing-austral Introducing Austral]		* [https://borretti.me/article/introducing-austral Introducing Austral]

Austral - Revision history

Dan Tobias: /* Links */

Dan Tobias: Created page with "{{FormatInfo |formattype=Languages |subcat=Programming Languages }} '''Austral''' is promoted as "A Systems Language with Linear Types and Capabilities". It is a new programmi..."