Type Driven Development, vérifiez vos programmes à la compilation!

Le Type Driven Development (TDD version typée !) pousse la conception logicielle à un autre niveau : au lieu de simplement écrire des tests, on laisse les types guider la conception du code.

Au programme : une introduction concrète à cette approche, des exemples en F# et Haskell, et une discussion sur comment les types peuvent devenir de véritables outils de modélisation du domaine.

Audience

Sont susceptibles de bénéficier de l'événement : Développeur-euses de tous niveaux
Niveau technique requis ? Quelques bases de programmation

Programme

Nous vous accueillerons à La Plage Digitale à partir de 18h45 et nous commencerons 15 min plus tard.

• 18:45 — Accueil chaleureux
• 19:00 — Présentation par Pierre Thierry
• 20:30 — Apéro participatif

Entrée au croisement de la rue de Bienne et de la rue de Genève

Nouveau ! ✨ Possibilité de s'inscrire (même anonymement) [sur Mobilizon : https://mobilizon.fr/@swcraftstras](https://mobilizon.fr/@swcraftstras)