3. Typage et modularité
Le typage de CAML comporte deux niveaux. À l’intérieur d’un module, les types sont synthétisés automatiquement. Dans l’interface des modules, les types sont déclarés par le programmeur pour permettre le développement séparé des modules.
3.1 Synthèse de types
L’algorithme de synthèse de types est principalement fondé sur le fait que les contraintes de type apparaissant dans un programme peuvent être exprimées par des équations et que ces équations peuvent être résolues formellement par un algorithme simple qui s’appelle l’unification et qu’on utilise souvent en informatique, par exemple pour l’évaluation du langage PROLOG.
On présente ici un exemple de synthèse sur une fonction d’ordre supérieur, la composition :
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Typage et modularité
CAML et la programmation classique
Bibliographie
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Article inclus dans l'offre
"Technologies logicielles Architectures des systèmes"
(
408 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
