Sistema de tipos

conjunto de reglas que asignan una propiedad llamada tipo a varias construcciones de las que un programa informático consta, tales como variables, expresiones, funciones o módulos De Wikipedia, la enciclopedia libre