Rust tentando alcançar Ada: Uma batalha na programação de segurança crítica

Ada domina a área de programação de segurança crítica há mais de quatro décadas. Nos últimos dez anos, Rust tentou competir, com resultados variados. Esta palestra explorará os poderosos recursos do Ada para garantir código sem bugs, particularmente suas declarações robustas de subtipos e facilidade de uso, e compará-los às capacidades do Rust, destacando onde o Rust fica aquém e seu progresso em alcançar Ada.