The explicit regions make it really clear what "borrowing" is actually doing. Rust tries to do as much as possible implicitly, which is convenient 90% of the ti

The explicit regions make it really clear what "borrowing" is actually doing. Rust tries to do as much as possible implicitly, which is convenient 90% of the time but when it doesn't work as you expect you're left scratching your head. If nothing else, Austral makes for a wonderful teaching language for linear types/regions/capabilities.