Resumen Unidad 1 Programacion Logica y Funcional
Resumen Unidad 1 Programacion Logica y Funcional
Resumen Unidad 1 Programacion Logica y Funcional
1.4
En los lenguajes de programacin con disciplina de tipos, cada tipo representa una coleccin
de valores o datos similares. El conocer los tipos de las funciones ayuda a documentar los
programas y evitar errores en tiempo de ejecucin.
Un lenguaje tiene disciplina de tipos si los errores de tipos se detectan siempre es
necesario determinar los tipos de todos los operandos, ya sea en tiempo de compilacin o de
ejecucin
Tipos de datos.
Tipo de dato
Especificacin de un dominio (rango de valores) y de un conjunto
vlido de operaciones a los que normalmente los traductores asocian
un esquema de representacin interna propio.
Clasificacin de los tipos de datos
En funcin de quin los define:
Tipos de datos estndar
Tipos de datos definidos por el usuario
En funcin de su representacin interna:
Tipos de datos escalares o simples
Tipos de datos estructurados