Hoy en día hay una creciente demanda por nuevas formas comvenientes para la creación de documentos HTML y XML dinámicos. Desafortunadamente, muchas aplicaciones lo hacen de forma no apropiada, tratando a los documentos como cademas de caracteres (Strings). Sin embargo, HTML y XML tienen restricciones estructurales que son fácilmente violadas usando este enfoque.
Por todo esto se hace necesaria la existencia de herramientas para programadores que permitan trabajar de manera más eficiente cubriendo todas las necesidades para un desarrollo rapido y asegurando el cumplimiento de estándares.
El objetivo de la presente investigación es desarrollar un nuevo Lenguaje de Programación embebido en Haskell para la creación de Documentos XML y un Compilador que permita la transformación de DTD's a Tipos de Datos en Haskell.