Typage des langages de programmation

Le typage dans les langages de programmation garantit l’absence de calculs errones qui seraient dus a des operations manipulant des donnees non-conformes. Cette verification peut s’effectuer a l’execution (typage dynamique) ou a la compilation (typage statique) et accroit la surete d’execution des programmes. Le typage permet aussi de s’abstraire de la representation des donnees pour faciliter la composition des elements d’un programme tout en apportant un bon niveau de flexibilite grâce aux differentes classes de polymorphisme (parametrique, ad hoc, sous-typage). Chaque langage de programmation possede sa propre discipline de typage afin d’assurer surete, abstraction et flexibilite des programmes.