4 ms·
Austra's concept are interesting but the introduction doesn't show how to handle correctly errors in this language..
by renox 1y ago
Austra'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