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?
Best,
Jacopo.
[1]: https://austral-lang.org/
[2]: https://austral-lang.org/spec/spec.html#goals
[3]: https://austral-lang.org/linear-types