6 ms·
I was quite impressed with Austral[0], which used Linear Types and avoids the whole Rust-like implementation in favour of a more easily understandable system, a
by hyperbrainer 1y ago
I was quite impressed with Austral[0], which used Linear Types and avoids the whole Rust-like implementation in favour of a more easily understandable system, albeit slightly more verbose.
[0]https://borretti.me/article/introducing-austral https://borretti.me/article/introducing-austral
- renox 1y agoAustra's concept are interesting but the introduction doesn't show how to handle correctly errors in this language..
- hyperbrainer 1y agoAustral's specification is one of the most beautiful and well-written pieces of documentation I have ever found. It's section on error handling in Austral[0] cover everything from rationale and alternatives to concrete examples of how exceptions should be handled in conjunction with linear types. https://austral-lang.org/spec/spec.html#rationale-errors https://austral-lang.org/spec/spec.html#rationale-errors