Je pense qu'il parlait plus de trucs comme JML qui va bien plus loin que ce que fait l'inférence de type. Par exemple tu peut faire des conditions entre les arguments :
//@ ensure a > bpublicvoidfoo(inta,intb){// ...}
Mais c'est un cas très simple, tu peut aussi définir des invariants, mettre des conditions sur le résultat indiquer les condition d'une exception, faire des appels de méthode dites « pures »,… Bref de la programmation par contrat.
Tous les contenus que j'écris ici sont sous licence CC0 (j'abandonne autant que possible mes droits d'auteur sur mes écrits)
[^] # Re: Le titre est trop long
Posté par barmic . En réponse au journal Typage statique versus typage dynamique. Évalué à 4.
Je pense qu'il parlait plus de trucs comme JML qui va bien plus loin que ce que fait l'inférence de type. Par exemple tu peut faire des conditions entre les arguments :
Mais c'est un cas très simple, tu peut aussi définir des invariants, mettre des conditions sur le résultat indiquer les condition d'une exception, faire des appels de méthode dites « pures »,… Bref de la programmation par contrat.
Tous les contenus que j'écris ici sont sous licence CC0 (j'abandonne autant que possible mes droits d'auteur sur mes écrits)