QuickCheck = TDD . Haskell

Où l'on montre que lorsqu'on dispose d'un système d'un langage extrêmement élégant comme Haskell doté d'un système de types puissant, on peut le mettre à profit pour générer automatiquement des tests exprimant des propriétés du code avec QuickCheck, et ainsi modifier notre approche usuelle du développement dirigé par les tests, le tout illustré par des exemples concrets de code écrits et exécutés en direct.