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

Apr 12, 2018 · Rennes, France

Cette session 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...

Event organizers
  • Software Crafts·wo·manship Rennes

    Pour tous les Crafts·wo·men ou ceux qui veulent le devenir Retrouvez nous sur Twitter @swcraftrennes et aussi sur Slack Merci à nos sponsors Softeam, Orange, Zenika et Liksi !

    Recent Events
    More

Are you organizing Le XXIème siècle sera typé ou ne sera pas - Arnaud Bailly?

Claim the event and start manage its content.

I am the organizer
Social
Rating

based on 0 reviews