Austral: Uma linguagem de programação de sistemas focada em simplicidade e rigor

Austral é uma nova linguagem de programação de sistemas projetada para simplicidade e rigor. Pense nela como os recursos essenciais do Rust ou um Ada modernizado e simplificado. Recursos importantes incluem um sistema de tipos estáticos forte, tipos lineares, segurança baseada em capacidade e forte modularidade. Tipos lineares garantem o gerenciamento correto do ciclo de vida dos recursos, evitando vazamentos de memória e outros erros, enquanto a segurança baseada em capacidade mitiga ataques de cadeia de suprimentos. Austral evita recursos como NULLs, garbage collection e exceções para maximizar a segurança e previsibilidade.