Visualización gráfica de tipos de datos Haskell

Abstract

Este trabajo se centra en el estudio e implementación de una herramienta para la ayuda al aprendizaje del lenguaje Haskell en el entorno educativo. Si bien existen librerías y aplicaciones web que proporcionan una funcionalidad similar, éstas requieren la instalación de una plataforma Haskell completa o restringen demasiado el entorno de aprendizaje. Nuestra herramienta consiste en una aplicación web que permite editar módulos y evaluar cualquier expresión Haskell de forma interactiva sin necesidad de que el usuario se instale la plataforma completa. Además, los tipos y estructuras de datos se pueden representar como objetos gráficos interactivos que el programador puede personalizar y mejorar, lo que ayuda tanto a la comprensión de la naturaleza de los tipos como al aprendizaje del lenguaje. La propuesta de software y hardware de la solución probada permite disponibilidad y escalabilidad, ya que es posible su distribución en diferentes nodos gracias a su arquitectura basada en servicios REST y componentes desacoplados y balanceados. El desarrollo de la herramienta se fundamenta en un arquitectura moderna y de fácil mantenimiento con grandes capacidades de accesibilidad, extensibilidad y adaptación a distintos dispositivos. Creemos que el resultado ha cumplido las expectativas y que la herramienta, aunque admite múltiples mejoras, proporciona un marco arquitectónico con gran potencial educativo, facilidad de uso y de evolución, lo que aumenta su utilidad.

This work is focused on the study and implementation of an aid tool for the learning of the Haskell language in the academic environment. While there are libraries and web applications that provide similar functionality, they require the installation of a complete Haskell platform or restrict too much the learning environment. Our tool is a web application that allows editing modules and evaluate any Haskell expression interactively without the need to install the whole platform by the users. In addition, the types and data structures can be represented as interactive graphic objects that the programmer can customize and improve, which helps both to understand the nature of the types and to better learn the language. The proposed and installed software and hardware solution allows availability and scalability, since it is feasible its distribution in different nodes through its REST-based service architecture with decoupled and balanced components. The development of the tool is based on an architecture modern and easy to maintain with good features like accessibility, extensibility and adaptation to heterogeneous devices. We believe that the results have met the expectations and that the tool, even admitting many improvements, provides an architectonic framework with great educational potential, ease of use and development, which enhances its utility.