next up previous contents index PLPL moodlepserratamodulosperlmonksperldocapuntes LHPgoogleetsiiullpcgull
Sig: Instrucciones Para la Carga Sup: Análisis de Tipos Ant: Un Algoritmo de Unificación Err: Si hallas una errata ...


Práctica: Inferencia de Tipos

Extienda el lenguaje con tipos variables presentado en la sección 13.20 con el tipo puntero:

q : pointer(string);
Suponga añadida la función polimorfa deref(x) que devuelve lo apuntado por x. ¿Cuál es el tipo de deref? Extienda las expresiones con constantes y operaciones binarias. Añada código para emitir un mensaje de error en el caso de que después de la fase de inferencia alguna variable - que no sea del tipo función - tenga un tipo polimorfo. Actualice las entradas en la tabla de símbolos para las funciones con un atributo que recoge los diferentes tipos inferidos de los usos de la función.


next up previous contents index PLPL moodlepserratamodulosperlmonksperldocapuntes LHPgoogleetsiiullpcgull
Sig: Instrucciones Para la Carga Sup: Análisis de Tipos Ant: Un Algoritmo de Unificación Err: Si hallas una errata ...
Casiano Rodríguez León
2012-05-22