TDD, comme Type-Directed Development

Le Type-Directed Development (développement guidé par les types) est une manière très puissante d'écrire des programmes. À l'instar du Test-Driven Development, l'idée est d'écrire une spécification avant d'écrire le code. Ici la spécification ne sera pas du test unitaire mais les types.

Dans cette présentation je montrerai pourquoi, quand et comment il est possible d'utiliser des méthodes de TypeDD pour écrire des programmes sans prise de tête et avec plus d'assurance.

Je montrerai aussi les liens entre TypeDD et TestDD et comment les combiner pour un maximum d'efficacité.