Les systèmes de types comme documentation
Ce qu'un type apporte de plus précieux n'est pas la sûreté à l'exécution, mais une affirmation que le compilateur tient à jour.
Un premier argument sur « les systèmes de types comme documentation », énoncé assez simplement pour que la suite ait de quoi s'y opposer.
L'observation
Le motif revient assez souvent pour mériter un nom. On le manque facilement, car chaque occurrence ressemble à une décision locale plutôt qu'à l'exemple d'une règle générale.
Ce qui en découle
Une fois la prémisse acceptée, quelques conséquences s'imposent, qu'on les ait voulues ou non. L'essentiel du travail consiste à décider lesquelles accepter et lesquelles contourner.
Là où cela ne tient plus
Toute règle de ce genre a un domaine. Le mode d'échec consiste à l'appliquer hors des conditions qui la rendaient vraie — c'est ainsi qu'un bon conseil devient une mauvaise pratique.