PSUG #60 : TDD comme "Type-Directed Development"

Bonjour ! J'espère que vous allez bien !

Session spécial pour ce PSUG de fin d'année :

Clément Delafargue (@clementd (https://twitter.com/clementd)) viendra nous parler de test et suite à cela on aura un petit Hand'OnLab pour mettre ça en pratique !

Abstract :

Test-Driven Development is widely accepted as good practice. But can we do better? By specifying your program's behaviour with types, you can go a very long way, with more confidence and with less hassle than with tests. In this talk, I will show a new vision of types, explore the fundamental differences between specifying with types and specifying with tests. I'll talk about how types allow us to prove properties about our program and how genericity is a tremendously powerful tool for specification. He'll show means of reasoning based on types and assess specifically what it provides. Lastly, I will show how to complement Type-Directed Development with Test-Driven Development to specify with tests what's left after laying out the types.

Cela se passe chez Xébia - 156 boulevard Haussmann Paris le Mardi 8 Décembre à 19h !

Jetbrains sponsorise également l'événement en offrant 1 à 2 licences (en fonction de l'affluence). Si nous sommes plus de 25, nous procéderons à un tirage au sort en live ;)