Publié par
Il y a 2 années · 1 minute · Back, Divers, Events

Xebia accueille la 60e édition du Paris Scala User Group : Type Directed Development

Capture d’écran 2015-11-09 à 17.07.47Le prochain meeting du Paris Scala User Group aura lieu le mardi 8 décembre à partir de 19 h dans les locaux de Xebia (7e étage, 156 boulevard Haussmann – 75008 Paris). Pour l’occasion, Clément Delafargue fera une présentation sur TDD : Type Directed Development, suivi d’un Hands on !

Vous pouvez vous inscrire sur la page Meetup dédiée à l’événement.

Nous espérons vous voir nombreux pour cet événement !

L’événement plus en détails

Test-Driven Development is widely accepted as good practice. But can we do better? By specifying your program’s behavior 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. I will 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.

Niveau requis
Aucun pré-requis n’est nécessaire, venez juste avec l’esprit ouvert et une bonne dose de curiosité !

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

Lieu
Xebia – 7e étage – 156 bv Haussmann – 75008 Paris

Xebia France
Xebia est un cabinet de conseil international spécialisé dans les technologies Big Data, Web, les architectures Java et la mobilité dans des environnements agiles. Depuis plus de 11 ans nous avons la volonté de partager notre expertise et nos actualités à travers notre blog technique.

Laisser un commentaire

Votre adresse de messagerie ne sera pas publiée. Les champs obligatoires sont indiqués avec *