Rust intentando alcanzar a Ada: Una batalla en la programación de seguridad crítica
2025-02-10
Ada ha dominado el ámbito de la programación de seguridad crítica durante más de cuatro décadas. En los últimos diez años, Rust ha intentado competir, con resultados variados. Esta charla explorará las potentes características de Ada para garantizar un código sin errores, en particular sus robustas declaraciones de subtipos y facilidad de uso, y las comparará con las capacidades de Rust, destacando dónde Rust se queda corto y su progreso para alcanzar a Ada.
Desarrollo
Programación de Seguridad Crítica