Le type d'une variable permetou ded'un déterminerélément saquelconque détermine la nature des données qu'elle peut contenir et doncla manière dont elle sont enregistrées et les traitées. Concrètement le type influe sur la taille qu'elle occupe en mémoire et les opérations que le programme est en droit de lui faire subir, dans le cas d'un langage {{glossaire|fortement typé|typage fort}}. Il est par exemple rarement autorisé de multiplier uneun élément dont la valeur est destinée à variablecorrespondre contenantà un texte avec un élément dont la valeur de la vitesse du son. Si à la base on multiplie un nombre avec un nombre, en pratique ce à quoi correspondent ces nombres rend une telle opération vide de sens, et dans le cas d'un lanange à {{glossaire|typage fort}}, de telles opérations sont tout simplement interdites.
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.
