No video of the event yet, sorry!

[[Nota para los organizadores: si se prefiere el tutorial en inglés, no hay problema. Si en vez de una Workshop se prefiere una charla, el contenido se puede reducir]]

Ada y SPARK

El lenguaje de programación Ada fue diseñado y estandarizado en los años 80 para su uso en sistemas de tiempo real, con pocos recursos disponibles, muy legible y de alta fiabilidad y calidad. Desde entonces se a ido actualizando, siendo la última versión Ada 2022, y es utilizado por sectores como el militar, aeroespacial, transporte y financiero. Adicionalmente, SPARK, que es un lenguaje reducido de Ada, permite usar las técnicas de análisis formal para demostrar las propiedades y el correcto diseño y funcionamiento de los programas antes incluso de que estos hayan sido compilados.

¿Por qué aprender Ada?

Cada vez es más común el uso de software en nuestras vidas cotidianas y en actividades más críticas, como coches autónomos. También hay un auge de nuevos lenguajes de programación que se promocionan por su capacidad de ser eficientes y seguros. Ada/SPARK, en opinión del autor (y de NVIDIA, entre otras muchas compañías), se distingue en que sí que demuestra una capacidad excelente para crear sistemas de alto rendimiento y de altísima calidad, capaces de cumplir con los requisitos y legislaciones más exigentes. Además, esto lo consigue sin ser un lenguaje complejo, capaz de ir desde los sistemas empotrados a el más alto nivel, el de verificación automática. Y todo esto está disponible en el ecosistema libre de herramientas para que todos los usuarios puedan beneficiarse de el lenguaje y puedan utilizarlo en su día a día y proyectos personales.