concepto de tipo de datos

En PASCAL, todo dato está asociado a un TIPO de datos y debe ser declarado antes

de utilizarse.

Un TIPO de datos está representado por un identificador y determina el rango de

valores que un elemento de datos puede tomar, así como las operaciones a que puede ser

sometido. Además, el TIPO determina el espacio en memoria necesario para almacenar

cualquiera de los valores posibles que puede tomar esa entidad.

El compilador de PASCAL proporciona identificadores para algunos tipos que están

predefinidos : números enteros y reales, valores lógicos, caracteres alfanuméricos, registros,

tablas, cadenas de caracteres, conjuntos, ficheros y punteros a estructuras dinámicas. Pero,

además, el PASCAL permite al usuario crear sus propios tipos definiendo identificadores de

su elección para representar rangos de valores. Estos también llevan asociados un conjunto

de operadores admisibles y unas necesidades determinadas de espacio en memoria.

El tipo de una constante es el tipo de su valor correspondiente. El tipo de una variable

es el tipo establecido cuando se declaró y no puede modificarse en general. El tipo de una

función es el del valor que devuelve.

Los valores de las variables y de las funciones pueden cambiar tantas veces como se

desee durante la ejecución de un programa, pero esos valores deben permanecer siempre

dentro del rango establecido por su tipo. Una variable no adopta un valor hasta que el

programa le asigna uno. El valor de una función se calcula durante la ejecución de dicha

función.

En PASCAL también existen las EXPRESIONES que, igualmente, corresponden a

algun tipo siempre. Una expresión representa al valor resultante de operar alguna

combinación de constantes, variables, funciones, con ciertos operadores. Se pueden usar

operadores aritméticos, relacionales, lógicos, de manejo de cadenas de caracteres, y de

conjuntos. Las operaciones aritméticas producen valores enteros o reales. Las operaciones

relacionales y lógicas producen valores booleanos. Las operaciones entre conjuntos permiten

obtener la unión, la intersección y las diferencias entre conjuntos.

Resumiendo y hablando en términos generales, se puede enunciar el principio básico

de que cada constante, variable, expresión o función es de un tipo determinado.

Como en los equipos de proceso de datos sólo hay un tipo de escritura, la norma que

se adopta para hacer distinciones consiste en manifestar explicitamente el tipo asociado a

cada entidad en sentencias de declaración y hacer que esta declaración preceda en el texto a

la utilización de las constantes, variables o funciones.

Las características del concepto de TIPO que están incorporadas al PASCAL son las

siguientes :

1. Un tipo de datos determina el conjunto de valores al que pertenece una

constante,o que puede tomar una variable o expresión, o que pueden ser

generados por un operador o función.

2. El tipo de valor identificado por una constante, variable o expresión puede

deducirse de su forma o de su declaración sin necesidad de ejecutar el proceso

de cálculo.

3. Cada operador o función presupone argumentos de un tipo determinado y

produce un resultado también de un tipo determinado. Si un operador admite

argumentos de varios tipos ( por ejemplo, se utiliza el símbolo "+" igualmente

para sumar enteros y reales ) el tipo del resultado puede determinarse a partir

de reglas específicas del lenguaje.