🧑‍🎤🎸 La preuve de programme vous fera apprécier les tests

Les infos pratiques

• la session a lieu en Amphi A le jeudi de 14h00 à 14h55
• La session est prévu avec un niveau Avancé
• La session aura pour thème : Développement

Description

La pratique de Développement piloté par les tests (TDD) est formalisée depuis au moins 1999. La famille d'outils de test automatisé xUnit existe depuis 1998 et ne cesse de s'améliorer. Pourtant le test automatisé est encore perçu comme un poids pour les équipes de développement. Pour aider à relativiser, je vous invite à découvrir le mode encore plus hard-core : la preuve de programme vérifiée. Dans une session de live-coding nous comparerons l'effort à faire pour tester et pour prouver un même algorithme. Eh oui, il existe des langages de programmation qui permettent d'énoncer un théorème sur un programme et d'en écrire la preuve, laquelle sera vérifiée par le compilateur 🤯 Vous repartirez avec les oreilles cassées, des neurones pétés, les doigts musclés et le système vacciné.

Orateur·ices

William Bartlett

Développeur de deuxième génération, William a eu son premier compte e-mail en 1990 et il est tombé dans l'informatique à l'âge de 10 ans. Son périple dans l'univers de la programmation est passé par les pays superpuissants du procédural et de l'orienté objet où l'on parle le C, le Python ou le Java. Il a aussi parcouru les contrées plus exotiques du monde fonctionnel armé seulement d'un lambda et de parenthèses. L'entrainement dans l'agilité lui a été imposé comme une évidence et a permis de s'adapter à toutes circonstances sans se blesser. Son familier est le pingouin et sa devise « le bon outil au bon moment ».