J'ai lu dans cette question que les programmeurs fonctionnels ont tendance à utiliser des preuves mathématiques pour s'assurer que leur programme fonctionne correctement. Cela semble beaucoup plus facile et plus rapide que les tests unitaires, mais venant d'un arrière-plan OOP / Unit Testing, je ne...