Hacia la formalización del razonamiento ecuacional sobre mónadas

Una de las grandes ventajas de los lenguajes funcionales puros es que permiten ser razonados ecuacionalmente, de esta forma, se facilita la verificación de su corrección. Pero esta pureza impide los efectos computacionales necesarios para que este tipo de programas tengan interacción alguna, es por...