Este documento técnico detalla el proceso de integración del sistema de scripting EYG en aplicaciones de Erlang, proporcionando un entorno de ejecución con controles estrictos sobre el acceso a recursos. La guía explica cómo exponer la capacidad de scripting a usuarios finales para consultas pequeñas o automatizaciones, así como cómo construir un shell de desarrollo más seguro mediante tareas predefinidas y funciones de lógica de negocio para agentes.
El proceso comienza con la instalación de las dependencias necesarias y la ejecución de programas puros mediante un módulo Erlang específico. Se introduce una función de ejecución que maneja errores de parser y de intérprete, utilizando funciones de depuración para presentar resultados y errores de forma legible. Inicialmente, el entorno no permite efectos secundarios, lo que limita la utilidad para scripts más complejos. Para superar esta limitación, se implementa un mecanismo de manejo de efectos algebraicos, donde el intérprete Erlang puede interceptar interrupciones de ejecución y reanudar el programa con valores específicos, permitiendo así la gestión de efectos como el registro de mensajes.
Además, la guía aborda la verificación de tipos, un paso crucial para garantizar la ausencia de errores en tiempo de ejecución. Se describe un bucle de inferencia que valida el código antes de su ejecución, asegurando que las llamadas a efectos sean compatibles con el contexto disponible. Al combinar la verificación de tipos con el manejo de efectos, se obtiene un entorno de scripting robusto que aprovecha la potencia de Erlang para la implementación de lógica de negocio, permitiendo a los desarrolladores exponer funcionalidades de su aplicación de manera segura y controlada.