4 ms·
Austral, for example? https://austral-lang.org/spec/spec.html#rationale-cap https://austral-lang.org/spec/spec.html#rationale-cap
by Smaug123 1y ago
Austral, for example? https://austral-lang.org/spec/spec.html#rationale-cap https://austral-lang.org/spec/spec.html#rationale-cap
- crabmusket 1y agoAustral is a really cool experiment and I love how much effort was put into the spec which you've linked to. It explains the need for capabilities and linear types, and how they interact, really well.