Dans notre introduction nous avions annoncé que le thème du "contrat" serait au centre de notre exposé. Nous savons maintenant que ce "contrat" est lié à la notion de type.
Quitte à répéter plusieurs fois les mêmes recommandations reprenons quelques uns des points principaux soulevés dans cet ouvrage:
Le "contrat": quels sont les comportements associés aux données. Qu’est ce qu’on peut faire avec? quelles en sont les limites?
La "responsabilité": quels codes sont autorisés à modifier les données?
Les paramètres en entrée: quelles sont leurs contraintes?
La constitution du résultat (si tout se passe bien)
La constitution des erreurs (si ça se passe mal)
Bien entendu ces principes sont à relativiser en fonction du contexte de réalisation du code : quand, par exemple, on écrit un « script » pour un usage temporaire on n’a pas besoin de s’astreindre à toutes ces contraintes.