Lección 01 / 07 · Fundamentos · 12 min
Effect.gen
Un Effect es una descripción de trabajo. Effect.gen permite componer esas descripciones usando yield*, con una lectura parecida a async/await. Construir el valor no inicia el programa: un runtime lo ejecuta cuando vos lo decidís.
Qué vas a aprender
- Distinguir un programa de su ejecución.
- Seguir el orden de yield* y reconocer un paso que nunca se alcanza.
Probalo en el laboratorio
Elegí un caso. Describe muestra su plan didáctico sin ejecutarlo. Run ejecuta el programa con Effect y devuelve su resultado.
Elegí Describe para leer el plan o Run para ejecutarlo.
El resultado va a aparecer acá.
Tu turno
- Elegí two-steps y usá Describe. Anotá el valor que esperás obtener; todavía no se ejecutó el programa.
- Usá Run y compará value y trace con tu predicción.
- Cambiá a fail-short-circuit. Antes de ejecutar, predecí qué paso queda sin correr. Buscá la evidencia en la traza.
Comprobá tu razonamiento
¿Por qué el tercer paso no se ejecuta cuando falla el segundo?
Ver explicación
yield* propaga el fallo por el canal de error y termina esa secuencia. Para continuar hay que recuperar el error de forma explícita. Describe muestra la estructura definida para el ejemplo; no es una traza ni una inspección automática del runtime.