视频内容

详细解释 Haskell 的副作用系统: fused-effects 如何支持带有范围(scoped)的副作用。fused-effects 将上层副作用解释为底层的单子栈。单子栈不具有交换性,不同的单子栈顺序决定了不同的副作用效果。当带有范围的副作用和不同的单子栈顺序相互影响的时候会产生一些有趣的结果。本次分享将通过一些有趣的例子,让听众更深刻地了解 fused-effects。 阅读:fused-effects中State和Error组合的微妙情况