Introduction I
Le typage
Diviser l'espace des valeurs en collections: un type est une
collection de valeurs partageant une même propriété
Les types sont toujours plus ou moins vérifiés:
-
soit à l'exécution (typage dynamique)
-
soit à la compilation (typage statique)
Intérêts du typage statique
-
détection précoce d'erreurs
-
documentation, structuration (une première information sur le
programme)
-
facilite les optimisations (enregistrements, accès,
représentations,...)
-
élimination de certaines erreurs d'exécution
-
sécurité du code