Resumen de Ayuda al aprendizaje de la comprobación de tipos mediante una API de desarrollo

Eva López Puente, Jaime Urquiza Fuentes

• español

  La enseñanza de compiladores debe afrontar diferen- tes dificultades, entre ellas el nivel de abstracción de los conceptos que se manejan y el esfuerzo de desa- rrollo por parte de los estudiantes a la hora de trabajar en los proyectos propuestos en este tipo de asignaturas.

  Este trabajo presenta una API dedicada al desarrollo de sistemas de tipos. No evita que los estudiantes afron- ten la complejidad del desarrollo de un sistema de ti- pos, pero facilita la tarea ofreciendo una infraestructu- ra básica para la manipulación de expresiones de tipo contemplando diversos paradigmas de programación.

  Aunque este trabajo sigue en progreso, se ha realiza- do una evaluación preliminar con un enfoque analítico que ha dado resultados prometedores.

• English

  The teaching of compilers must face different difficul- ties, among them the level of abstraction of the con- cepts that are handled and the development effort on the part of the students when working on the projects proposed in this type of subjects. This paper presents an API dedicated to the development of type systems.

  It does not prevent students from facing the comple- xity of developing a type system, but it does facilita- te the task by offering a basic infrastructure for ma- nipulating type expressions by contemplating various programming paradigms. Although this work is still in progress, a preliminary evaluation with an analytical approach has been carried out and has given promising results.