代数效应(Algebraic Effects)

代数效应，第一眼看上去是“代数带来的效应”，但是它其实更应该被翻译为“用代数的方式处理副作用”。

其中效应翻译成副作用更准确，它是一种monad的拓展，一种续体的现代应用，能看成一种可恢复的异常。

代数效应的核心思想是分离“做什么”和“怎么做”。

它与依赖注入很像，但是提供了对控制流的更深入控制，可以用于实现异常、协程、回溯等控制。

代数效应中的回调函数——效应处理器，可以