Resumen de Un sistema de tipos generalizado con sobrecarga

Blas Carlos Ruiz Jiménez , Alberto Santos

• Exponemos ideas para extender de forma simple y uniforme los sistemas de tipos generalizados con objeto de contemplar la sobrecarga y las clases de Haskell; además de los tipos y categorías * y habituales de los STG, incluimos nuevas categorías que capturan las clases de tipos; para modelar contextos y subclases introducimos un concepto adicional de reducción entre clases que afectará al sistema de inferencia, por lo que el conjunto de reglas habituales será extendido obteniéndose los STG (los STG son casos particulares).

  Un sencillo esquema de traslación de declaraciones Haskell a nuestro sistema permite la interpretación de los tipos de un programa, lo que facilitará el estudio de futuras ampliaciones y conceptos.