Diseño y formalización de lenguajes de consultas inspirados en ópticas

Resumen

Las ópticas, también conocidas como referencias funcionales, son un conjunto de abstracciones y patrones de diseño que surgen en el campo de la programación funcional para la manipulación y acceso a estructuras de datos en memoria. A pesar de su elegancia y expresividad, su explotación para lidiar con bases de datos, servicios web u otras tecnologías modernas de persistencia o procesamiento de información está severamente limitada. Esta tesis pretende ampliar el rango de actuación de las ópticas a estas tecnologías mediante dos líneas de investigación alternativas. La primera de estas líneas se fundamenta en las conexiones existentes entre las ópticas y las teorías algebraicas basadas en estado que se recogen en la Monad Transformer Library (MTL), concluyendo en la librería Stateless. La segunda línea de investigación migra los combinadores existentes en las librerías de ópticas actuales (Lens, Monocle, etc.) y los recoge en el lenguaje Optica, que se postula como una alternativa a las comprehensions en el campo de language-integrated query (LINQ) y que deriva en la implementación de la librería S-Optica, donde se evidencia una aproximación tagless final.