Linear types, Austral

Message ID
DKIM signature
Download raw message
Hi all,

I’ve recently stumbled into Austral[1], a recent addition to the landscape of systems programming languages. Austral’s design goals [2] significantly overlap with Zig’s and while perusing through the spec and the "introduction to linear types” article [3] I was hit by the same “wow” feeling I experienced upon learning about Zig itself.

Is Zig considering / has Zig ever considered implementing linear types? 


[1]: https://austral-lang.org/ 
[2]: https://austral-lang.org/spec/spec.html#goals
[3]: https://austral-lang.org/linear-types
Reply to thread Export thread (mbox)