« Programmation/Types » : différence entre les versions

Contenu supprimé Contenu ajouté
Tavernier (discussion | contributions)
modif intro + plan proposé
Tavernier (discussion | contributions)
coquilles
Ligne 1 :
{{ébauche}}
 
Dans la plupart des langages de programmation il est possible d'attribuer arbitrairement aux variables des '''types''' pour – entre autres – déterminer la nature des données qu'elle peut contenir et la manière dont elle sont enregistrées et traitées par le système. Concrètement le type d'un élément influe sur la taille que le compilateur ou l'interpréteur lui allouera en mémoire ; et les opérations qui ne devraient pas être permises si la syntaxe du langage était respectée le programme est en droit de lui faire subir. Il est paspar exemple rare qu'un vérificateur d'erreurs ne se manifeste pas lorsqu'on tente de multiplier un « nombre » avec une « lettre ». Si à la base la « lettre » et le « nombre » sont tous deux une « succession de 0 et de 1 », en pratique ce à quoi on fait correspondre ces « successions de 0 et de 1 » rend une telle opération vide de sens.
 
Selon le degré d'abstraction du langage, il peut être soit indispensable de préciser le type de la variable lors de sa création, ou bien cela peut ne pas être nécessaire, le langage déterminant automatiquement le type de la variable à sa création, et le modifiant de manière dynamique lorsque la valeur contenue par la variable dépasse la quantité de mémoire correspondant au type précédent.