Dans la théorie de la programmation La théorie des langues, le sous-typing ou le sous-type polymorphisme est une forme de type polymorphisme de type dans lequel un sous-type est un type de données liée à un autre DataType (le superype) par une notion de substituabilité. La substituabilité signifie que les éléments de programme, généralement sous-souscripteurs ou fonctions, écrits pour opérer sur des éléments du Superype peuvent également utiliser des éléments du sous-type.
J'ai commencé cela une nouvelle question car elle est devenue un suivi de ma question précédente. Si j'ai deux types de données composés de constructeurs sim ...
