Este proyecto implementa una colección de mónadas en TypeScript orientadas a mejorar la gestión de efectos, errores y dependencias en arquitecturas limpias y hexagonales. Incluye Either, IO, Option, Reader, Task, TaskEither y combinaciones como ReaderTaskEither.
- ¿Qué es una Mónada?
- Objetivo del Proyecto
- Mónadas Incluidas
- Cuándo y Por Qué Usarlas
- Instalación
- Ejecutar los Tests
- Licencia
Una mónada es un patrón funcional que permite encadenar operaciones secuenciales en un contexto determinado, gestionando efectos secundarios, errores o estados de forma segura y composable. Son una abstracción que facilita escribir código limpio, predecible y fácil de mantener, especialmente en arquitecturas basadas en principios funcionales.
El objetivo es proporcionar una implementación robusta y ligera de mónadas comunes usadas en TypeScript, pensadas para integrarse fácilmente en proyectos con arquitectura hexagonal o limpia, ayudando a manejar:
- Errores explícitos (
Either) - Computaciones asíncronas (
Task) - Dependencias ambientales (
Reader) - Efectos perezosos (
IO) - Opciones de valor (
Option)
Además, combina estas abstracciones para resolver casos complejos como operaciones asíncronas con posible error y acceso a entorno (ReaderTaskEither).
Representa un valor que puede ser un error (Left) o un valor correcto (Right). Ideal para manejo explícito de errores sin excepciones.
Encapsula operaciones perezosas que producen un valor R sin efectos secundarios visibles hasta su ejecución. Útil para operaciones impuras controladas.
Modela valores opcionales que pueden estar presentes (Some) o ausentes (None), evitando valores nulos o indefinidos.
Representa una computación asíncrona que produce un valor R cuando se ejecuta. Facilita composición de operaciones asíncronas.
Combina Task y Either para representar operaciones asíncronas que pueden fallar explícitamente con un error L.
Modela funciones dependientes de un entorno Env, permitiendo inyectar dependencias de forma funcional y testable.
Combina Reader, Task y Either para operaciones asíncronas que dependen de un entorno y pueden fallar con error explícito.
Monad<R>: Contrato que asegura la implementación de los métodos esenciales (map,flatMap).Matchable<R, L>: Para manejar patrones de valores tipoEither.Taskable<R>: Para convertir valores en tareas asíncronas.
- Usa
Eitherpara evitar excepciones y modelar errores de forma explícita y segura. - Usa
IOpara controlar efectos perezosos (lectura de configuración, generación de IDs). - Usa
Optionpara manejar valores opcionales sin usar null/undefined. - Usa
Taskpara computaciones asíncronas composables, sin lanzar promesas directamente. - Usa
TaskEitherpara flujos asíncronos con manejo explícito de errores. - Usa
Readerpara inyectar dependencias y entornos de forma funcional. - Usa
ReaderTaskEitherpara operaciones asíncronas dependientes de entorno con errores controlados.
Estas abstracciones facilitan un código más modular, testeable y mantenible, ideales para arquitecturas hexagonales y limpias donde las dependencias, efectos y errores deben gestionarse con claridad.
Para instalar las dependencias y esta librería, ejecuta:
npm installPara correr los tests unitarios con Vitest:
npm run testEste proyecto está licenciado bajo la licencia MIT.
En la raíz del repositorio encontrarás un archivo llamado LICENSE que contiene el texto completo de la licencia. Este archivo indica los términos bajo los cuales puedes usar, modificar y distribuir este proyecto.
La licencia MIT es muy permisiva, permitiendo el uso libre del código siempre que se mantenga el aviso de copyright y la licencia original.
No se requiere configuración adicional para usar el proyecto bajo esta licencia, simplemente respeta las condiciones indicadas en el archivo LICENSE.