Definición de tipos en pascal
Además de identificadores, los datos deben tener asignado algún tipo que indique el espacio de memoria en que se almacenarán y que al mismo tiempo evita el error de tratar de guardar un dato en un espacio insuficiente de memoria.
Un tipo de dato en Pascal puede ser cualquiera de los tipos predefinidos ( integer,real, byte, boolean, char ), o algún otro definido por el programador en la parte de definición de tipos.
Los tipos definidos por el programador deben basarse en los tipos estándar predefinidos, para lo cual, debe iniciar con el identificador reservado Type, seguido de una o más asignaciones de tipo separadas por punto y coma. Cada asignación de tipo debe consistir de un identificador de tipo, seguido por un signo de igual y un identificador de tipo previamente definido.
La asignación de tipos a los datos tiene dos objetivos principales:
- Detectar errores de operaciones en programas.
- Determinar cómo ejecutar las operaciones.
Pascal se conoce como un lenguaje «fuertemente tipeado« (strongly-typed) o de tipos fuertes. Esto significa que todos los datos utilizados deben tener sus tipos declarados explícitamente y el lenguaje limita la mezcla de tipos en las expresiones. Pascal detecta muchos errores de programación antes de que el programa se ejecute.
Los tipos definidos por el programador pueden utilizarse para definir nuevos tipos, por ejemplo:
Type entero = integer; otro_entero = entero;
A continuación se hace una breve descripción de los tipos predefinidos.
