fused-effects & 幻影类型

活动内容

fused-effects 使用分享

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

幻影类型及其应用

分享 Hamler 中的基础内容——幻影类型，产生的原因、使用的场景，以及其常见的应用方式。