la théorie des types, où elle a défini une nouvelle notion de type dérivé (T est un type dérivé de S si toute propriété prouvable sur les objets de S est prouvable sur les objets de T)
Quelques remarques un peu pédantes :
1/ Le terme de « théorie des types » n'est probablement pas le plus adapté dans la mesure où il se réfère plus habituellement à la théorie des lambda-calculs typés.
2/ On parle de sous-type, plutôt que de type dérivés. Je pense que parler de « type dérivé » insinue qu'il s'agit d'une histoire d'héritage, alors que c'est précisément ce qu'il ne faut pas confondre : héritage et sous-typage (grosso-modo « le type A est sous-type de B si tout A peut-être utilisé à la place d'un B ») sont distincts, et les confondre en violant le principe de substitution de Liskov s'est s'exposer à des ennuis... Les langages à objets typés mélangeant les deux idées nous tendent le bâton pour nous battre avec :-)
# Mouches, cachez-vous
Posté par auve . En réponse au journal Le prix Turing 2008 pour Barbara Liskov. Évalué à 8.
Quelques remarques un peu pédantes :
1/ Le terme de « théorie des types » n'est probablement pas le plus adapté dans la mesure où il se réfère plus habituellement à la théorie des lambda-calculs typés.
2/ On parle de sous-type, plutôt que de type dérivés. Je pense que parler de « type dérivé » insinue qu'il s'agit d'une histoire d'héritage, alors que c'est précisément ce qu'il ne faut pas confondre : héritage et sous-typage (grosso-modo « le type A est sous-type de B si tout A peut-être utilisé à la place d'un B ») sont distincts, et les confondre en violant le principe de substitution de Liskov s'est s'exposer à des ennuis... Les langages à objets typés mélangeant les deux idées nous tendent le bâton pour nous battre avec :-)
Pour les précisions : http://okmij.org/ftp/Computation/Subtyping/