Fecha de inicio
Las Gramáticas de Atributos (Attribute Grammars - AG), son un formalismo de propósito general para describir computaciones recursivas sobre tipos de datos, que permite evitar la disyuntiva que surge en la construcción de software de forma incremental: ¿debe ser fácil de añadir nuevos tipos de datos y alternativas de tipos de datos o añadir nuevas operaciones sobre tipos de datos existentes?
Sin embargo, las AGs son generalmente implementadas como un pre-procesador, dejando por ejemplo, la verificación de tipos para fases posteriores de procesamiento, haciendo difícil el desarrollo interactivo, el informe de errores y la depuración.
AspectAG es una incorporación de AGs en Haskell como una biblioteca combinadores que resuelve estos problemas.
AspectAG es una incorporación de AGs en Haskell como una biblioteca combinadores que resuelve estos problemas.