top of page
SISTEMA DE TIPOS
En diferentes casos se habla de lenguajes fuerte o
débilmente tipados, lenguajes estáticos o dinámicos.
Donde se intenta dar una forma de categorización para que
sea amplia para poder estudiar los diferentes lenguajes.
OBJETIVOS DE UN SISTEMA DE TIPOS
1. Ayudar a detectar errores al momento de programar.
2. Guiar al programador sobre las operaciones válidas en un determinado contexto.
CARACTERÍSTICAS DE UN SISTEMA DE TIPOS
- Proveen información al programador
de forma más precisa.
- Las validaciones basadas en un sistema de tipos,
son más fácilmente automatizables a diferencia de
otros tipos de especificaciones formales.
bottom of page