这次Hacker News讨论的核心是Oleg Kiselyov 2015年的论文《更自由的Monad，更可扩展的效果》，以及Haskell及其他语言中效果系统的整体情况。 许多评论者强烈建议探索Kiselyov在[okmij.org](https://okmij.org/)上的工作，因为它清晰且富有洞察力。 对话很快深入到实际实现中。虽然提到了`eff`库，但它被指出是一个不再积极开发的科研项目。`freer-simple`、`Polysemy`、`effectful`和`Bluefin`被认为是可用于生产的替代方案，其中`effectful`和`Bluefin`（后者由一位评论者创建）因其性能和处理复杂效果的能力而备受关注。 其他语言，如Koka和Effekt，以及TypeScript的`effect-ts`也被强调具有先进的效果系统实现。 关于效果系统价值的争论浮出水面，一位评论者质疑其必要性。其他人则认为它们对于分层程序行为和提高代码清晰度很有价值，不一定是为了控制操作系统级别的副作用。 诸如效果系统历史讲座和Bluefin文档之类的资源也被分享，以供进一步学习。