
Des contraintes plutôt que des relecteurs
Un relecteur attrape une erreur une fois. Une contrainte l'attrape toujours, y compris venant de gens qui ne vous ont jamais rencontré. Quelle couche doit porter un invariant, et où l'approche cesse de fonctionner.







