Interview with Fernando Borretti about Austral - a systems programming language with linear types
Austral is a new systems programming language. It uses linear types to provide memory safety and capability-secure code, and is designed to be simple enough to …