|
|
|
|
|
|
by hyperbrainer
429 days ago
|
|
|
Austral'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 |
|
|