Le point super important qui n'est pas précisé dans le long message précédent, c'est que les contraintes sont _héritées_!
Cela signifie que si la classe MERE définit une méthode toto avec une précontrainte et une postcontrainte (elle peut faire ça: ne donner que le typage et les contraintes sans implémentation!), alors la classe FILLE aura une méthode toto avec a priori les mêmes contraintes automatiquement! Je dis "a priori", parce qu'évidemment, la fille peut affaiblir les précontraintes et renforcer les postcontraintes.
Bref, effectivement on peut faire des contraintes avec un paquet d'autres langages, mais le fait qu'elles soient héritées est ce qui rend les choses carrément plus intéressantes.
[^] # Re: Quelques "coquilles"
Posté par Snark_Boojum . En réponse à la dépêche Sortie de Hercule la version 2 du compilateur SmartEiffel. Évalué à 5.
Cela signifie que si la classe MERE définit une méthode toto avec une précontrainte et une postcontrainte (elle peut faire ça: ne donner que le typage et les contraintes sans implémentation!), alors la classe FILLE aura une méthode toto avec a priori les mêmes contraintes automatiquement! Je dis "a priori", parce qu'évidemment, la fille peut affaiblir les précontraintes et renforcer les postcontraintes.
Bref, effectivement on peut faire des contraintes avec un paquet d'autres langages, mais le fait qu'elles soient héritées est ce qui rend les choses carrément plus intéressantes.
Snark