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

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é.