Name: Le XXI ème siècle sera typé ou ne sera pas
Start: 2019-09-24T19:00:00+02:00
End: 2019-09-24T21:00:00+02:00
Location: Le Node - Aquinum

Cette session est une introduction au TDD. Non, pas le Test-Driven Design mais le Type-Driven Development ou Développement Dirigé par les Types.
Nous essaierons de montrer comment le fait pour un langage d’avoir un système de types sophistiqué est un atout pour le développeur, que ce soit pour améliorer la précision et la sécurité du code, pour guider son implémentation à partir d’une spécification, ou même pour se rapprocher de l’idéal d’un code parfaitement congru au domaine métier qu’il est supposé représenter.
La présentation sera réalisée sous la forme d’exemples de code développés et testés en direct, en Elm, Haskell et Idris.

Fabien lamarque

Okiwi - Software Craftsmanship Bordeaux

Technology

Java

Python

Software Development

JavaScript

Software Engineering

Scala

Functional Programming

Clojure

Domain Driven Design

Design Patterns

Software Architecture

Data Structures

Computer Programming

Le XXI ème siècle sera typé ou ne sera pas

Le Node - Aquinum

Share

Okiwi - Software Craftsmanship Bordeaux

Le XXI ème siècle sera typé ou ne sera pas

Okiwi - Software Craftsmanship Bordeaux

Details

Members are also interested in