Genericidad de funciones: el <i>quid</i> para la incorporación de dominios en un Sistema Funcional Inductivo basado en Haskell

Abstract

Hoy en día, una inconmensurable cantidad de programas informáticos se encuentran en ejecución generando información propia de su comportamiento, estos tipos de historial son amplia y generalmente conocidos como Logs. Sin embargo, a pesar de los avances en la inferencia funcional inductiva para trabajar con los datos, hasta el momento se ha prestado escasa atención a la automatización del procesamiento analítico de estos tipos de registros de eventos. En este sentido, puesto que la alta expresividad de los Lenguajes de Programación Declarativos es una noción ampliamente aceptada, en este trabajo se aborda las implicancias prácticas de la Programación Funcional Inductiva aplicado en el dominio específico de los Logs para su inferencia asistida ex professo.