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

Cette session est une introduction au Développement Dirigé par les Types ou TDD (Type-Driven Development).

Au travers d'exemples pratiques en Haskell, Elm et Idris, je montre comment le fait pour un langage de posséder un système de types évolué facilite le travail du développeur et permet d'introduire de "nouvelles" techniques en sollicitant vraiment le compilateur : développement à "trou", test de propriétés et génération de tests, rendre "impossible" les états "indésirables", utilisation des types pour aider la conception, refactoring agressif dirigé par le compilateur...