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