XXI century shall be typed

Cette session, animé par Arnaud Bailly (@dr_c0d3), est une introduction au Développement Dirigé par les Types ou TDD (Type-Driven Development, a ne pas confondre avec l'"autre" TDD).

Au travers d'exemples pratiques en Elm, Haskell 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...