...
inférence de type...
...
mécanisme intéré au compilateur qui lui permet de déterminer seul le type d'une expression (et donc d'une variable
receptrice), sans que celui-ci soit explicitement indiqué. Le type déterminé est assez "large" pour accueillir.
type abstrait de données...TAD (abstract data type, ADT)
...
polymorphisme...
...
capacité d'un code à utiliser des arguments ayant des types différents