La saisie statique dans un langage de programmation peut être utile pour appliquer certaines garanties au moment de la compilation, mais les types sont-ils le seul outil pour ce travail? Existe-t-il d'autres façons de spécifier des invariants? Par exemple, un langage ou un environnement peut aider...