Pour notre prochain rendez-vous, nous accueillerons Thomas pour un atelier sur du Type Driven Design.

Note préalable : Pensez à préparer votre environnement pour profiter pleinement de l'atelier.

Cet atelier est proposé en ReasonML, OCaml, Rust et Kotlin. La connaissance d’un de ces langages n’est pas un pré-requis, cependant il est préférable de faire un choix et d’arriver avec un environnement de développement prêt à l’emploi pour profiter pleinement du meetup.

Description : Le TDD seul n’est pas satisfaisant pour garantir des logiciels bien conçus et l'ajout constant de la valeur, pourtant des piliers du Software Craftsmanship manifesto. Durant ce workshop nous verrons une approche de conception logicielle Not Only TDD ! En couplant le Type Driven Design (conception dirigées par les types) au Test Driven Development, il est possible d’encoder toute une catégorie de tests dans votre application, grâce à un système de types algébriques, et surtout vous permet de mieux raisonner sur votre application.Avec la montée en puissance de langages statiquement typés et tel que F#, OCaml, Haskell, Scala, Swift, Kotlin, ReasonML, Rust, Nim, ... c'est un sujet d'actualité.