~andrewrk/ziglang

Linear types, Austral

Details
Message ID
<21523222-D131-4EA6-8A4D-EC47A40FBD4C@scazzosi.com>
DKIM signature
missing
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? 

Best,
Jacopo.

[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)