Software Crafters Lyon

Lieu : Notre Discord

Niveau : pour tout le monde

Il s’agit d’implémenter les règles du jeu, qui se joue à deux, dont voici un rappel :

• les ciseaux gagnent face à la feuille et perdent contre la pierre ;
• la feuille gagne face à la pierre et perd contre les ciseaux ;
• la pierre gagne face aux ciseaux et perd contre la feuille ;
• il y a match nul quand les deux propositions sont identiques.

S’il vous reste du temps, vous pourrez gérer deux autres cas :

• le puits gagne face à la pierre ou aux ciseaux et perd face à la feuille ou la bombe ;
• la bombe gagne face au puits ou la feuille, perd face aux ciseaux ou la pierre.

L’exercice se fera en TDD, c’est-à-dire que l’on écrit un test décrivant un comportement très simple, on fait en sorte que ça compile pour être en phase rouge, on écrit l’implémentation la plus simple pour que ça passe au vert et on refactore ou on écrit un nouveau test qui sera en échec.

Puisque c’est le midi, ça sera très certainement un travail d’équipe logiciel (software teaming) en faisant tourner la parole toutes les cinq minutes.

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.