Sobrecarga de la Abstracción Lambda en Haskell: Un Enfoque Elegante para el Diseño de EDSL

Este artículo presenta un nuevo método para sobrecargar la abstración lambda en Haskell para construir lenguajes de dominio específicos incrustados (EDSL). Utilizando ingeniosamente un tipo `Port` y funciones `encode`/`decode`, el autor traduce elegantemente funciones Haskell en morfismos dentro de una categoría personalizada. Esto resulta en una sintaxis concisa e intuitiva, evitando las complejidades de las abstracciones Arrow y la notación proc. El enfoque requiere un código Haskell mínimo y ninguna metaprogramación o plugins de compilador. Un ejemplo de EDSL de diagrama de flujo demuestra la aplicación del método, junto con discusiones sobre cómo prevenir la duplicación y manejar los efectos secundarios.