Agreed, Austral looks really cool, and the author's explanation of "what a linear type is and why we use them" was the clearest I've ever heard. I was surprise

Agreed, Austral looks really cool, and the author's explanation of "what a linear type is and why we use them" was the clearest I've ever heard. I was surprised it uses an Ada-like syntax -- I thought the standard wisdom for new languages was to either imitate C or Python ;-)