Entorno de ejecución para un sistema de hojas de cálculo basado en programación funcional

Abstract

Las hojas de cálculo son una de las herramientas de ofimática más extendidas a nivel de usuario. La importancia de estas herramientas no solo radica en su amplio público, también porque es utilizada como herramienta de toma de decisiones en los consejos de administración de las empresas. Pero a pesar de esta importancia, numerosos estudios han encontrado muchos problemas, que hacen que prácticamente la totalidad de las hojas de cálculo generadas contengan algún tipo de error poniendo en riesgo las decisiones tomadas sobre los datos que contienen. Debido a estos riesgos se han implementado distintas herramientas de análisis para detectar estos errores de la forma más sencilla posible. En este trabajo se plantea un nuevo enfoque, llevar las ventajas de los sistemas de tipos de los lenguajes de programación funcionales con comprobaciones de tipos estáticas a las hojas de cálculo. La herramienta de hojas de cálculo implementada en este trabajo utiliza un subconjunto de Haskell como lenguaje de expresiones de las celdas. Gracias a esto se puede utilizar el sistema de tipos de Haskell para mejorar la detección de errores en las hojas. También permite generar tipos de datos compuestos de los datos almacenados en las celdas. Además se ha añadido la funcionalidad de extender las funciones de la hoja de cálculo mediante módulos externos. El resultado obtenido es un prototipo completamente funcional capaz de realizar todas las tareas descritas.---ABSTRACT---Spreadsheet programs are one of the most widespread information processing tools used by end-users. The importance of these tools is not only in their extensive use but because of its relevance as a decision-making tool by executives. Besides this, some studies have found plenty of problems that make spreadsheets widely faulty, which make very risky making decisions on the data they contain. Because of these risks some analysis tools have been implemented to find errors easily. This project presents a new approach, to take the advantages from type systems used in functional programming languages with static typing to spreadsheets. The implemented tool will use a subset of Haskell as the language for its cell expressions. This unlocks Haskell’s type system to improve error detection. It also allows generating data types from the data stored in the table. The tool provides an easy mechanism to extend the set of functions allowed on the spreadsheets. The mechanism to do this is the inclusion of external modules. The final result of this project is a completely functional prototype that can perform any of the described tasks.