Le XXI ème siècle sera typé ou ne sera pas

Cette session est une introduction au TDD. Non, pas le Test-Driven Design mais le Type-Driven Development ou Développement Dirigé par les Types.
Nous essaierons de montrer comment le fait pour un langage d’avoir un système de types sophistiqué est un atout pour le développeur, que ce soit pour améliorer la précision et la sécurité du code, pour guider son implémentation à partir d’une spécification, ou même pour se rapprocher de l’idéal d’un code parfaitement congru au domaine métier qu’il est supposé représenter.
La présentation sera réalisée sous la forme d’exemples de code développés et testés en direct, en Elm, Haskell et Idris.