Système structural de types
Un article de Wikipédia, l'encyclopédie libre.
Un système structurel de types est une classe majeure de système de types, dans laquelle la compatibilité et l'équivalence de type est déterminée par la structure du type et non par des déclaration explicites. On utilise les systèmes structuraux pour déterminer si les types sont équivalents, ou si un type est un sous-type d'un autre. Ce système est en contraste avec les systèmes nominatifs où les comparisons sont basées sur des déclarations explicites ou sur le nom des types.
Avec le typage structurel deux objets ou termes sont considérés comme ayant des types compatibles si leur type ont une structure identique. Selon la sémantique du langage, cel signifie généralement que pour chaque fonctionnalité dans un type il doit y voir une fonctionnalité correspondante dans l'autre type. Les détails changent selon les langages. Ainsi sur le fait que deux fonctionnalités doivent avoir le même nom pour être considérées identiques.
Haskell et ML sont deux langages au typage structurel.
Dans les langages qui supportent le sous-typage polymorphique, on peut former une dichotomie similaire pour définir une relation de sous-type. Un type est un sous-type d'un autre si et seulement s'il contient toutes les fonctionnalités du type de base ou de l'un de ses sous-types. Le sous-type peut contenir des fonctionnalités additionnelles telles que des membres non présent dans le type de base ou des invariants plus forts.
Le sous-typage structurel est plus flexible que le sous-typage nominal, car il permet la création de types et d'interfaces ad hoc. Il permet en particulier la création d'un type qui est un super-type d'un type existant T sans modifier la définition de T. Mais cela peut ne pas être désirable quand un programmeur veut créer des abstractions fermées.
Le piège du typage structurel comparé au typage nominal est que si deux types définis séparément pour des but différents, chacun consitant en une paire de nombres sont considéres du même type par le système de type, simplement parce que il ont une structure identique, Une manière d'éviter cela est de créer un type algébrique pour un type de paire et un autre pour l'autre type de paire.
[modifier] Duck typing
Un système intéressant de type qui se comporte de manière similaire au sous-typage structurel est le duck typing. Le ducktyping n'est pas un vrai système de types car il est implanté dans des langages dynamiquement typés qui n'effectuent pas de jugement de type à la compilation. Mais c'est un système populaire car il offre une grande flexibilité au programmeur, tout en préservant la possibilité de générer des abstractions fermées.
