Software Crafters Lyon

Sujet : UglyMolKKy-RefactoringKata

Lieu : Notre Discord

Niveau : pour tout le monde

Il s’agira d’améliorer l’état du code ! L’atelier se fera en binôme préférentiellement ou en ensemble programming.

Pensez à cloner le code sur votre machine avant la session et d’installer les dépendances dans le langage qui vous sied le mieux.

Sur Discord ou sur Twitch

Résumé

Cette session est une introduction par la pratique à l’utilisation des systèmes de types fonctionnels “avancés”, tels qu’on peut les trouver dans des langages comme Haskell, OCaml ou Idris, pour modéliser et coder des problèmes concrets complexes de manière plus sûre et compacte. À partir d’un exemple relativement complexe mais très concret, le numéro de sécurité sociale et sa vérification, je présente différentes approches pour développer une implémentation qui soit la plus sûr et la plus expressive possible : tests de propriétés, tests de mutations, types de données algébriques et types dépendants sont au programme. Bien que le code présenté soit en Haskell, cette session devrait donner aux participants des idées et concepts transposables dans leur environnement technique particulier.
Le Test-Driven Development ou TDD est une pratique essentielle pour faire croître du logiciel de manière incrémentale et sûre. Mais le mot "Test" dans TDD est trompeur : il n'est pas tant question de tester que de guider le développement en définissant des micro-objectifs, des exemples, automatiquement vérifiés.
Si les exemples sont nécessaires pour comprendre un problème, ils présentent quelques inconvénients :

• leur énumération est quelque peu fastidieuse, répétitive, verbeuse et parfois difficile à relier au problème que l'on cherche à résoudre ;
• ils ne sont pas suffisants pour s'assurer que la solution produite est robuste.

Cette session se veut une introduction à différentes autres approches pour guider le développement :

• utiliser un système de types plus précis pour "rendre les états impossibles non représentables" afin de réduire l'espace à explorer (donc à tester) ;
• définir des propriétés automatiquement vérifiées, ie. le Property-Based Testing, pour guider le développement et accroître la confiance dans le code produit ;
• utiliser des mutations pour prendre en défaut du code "naïf" et améliorer sa résilience.

Je présente ces différentes pratiques en codant en direct un exemple tiré de notre vie quotidienne, la validation d'un numéro de sécurité sociale.

EventStorming est un atelier puissant pour l'exploration de l'espace du problème.
Pendant la soirée, en plusieurs groupes, nous explorerons différents problèmes.
N'hésitez pas à venir proposer vos sujets de la vraie vie : c'est l'occasion d'avoir le point de vue de personnes expertes sur ces sujets.

La soirée est accessible quel que soit votre niveau ou connaissance de l'atelier.