effect-systems

作者在重写 Haskell 生产代码库时，逐一检视 effect system 的用途，认为其大部分功能并非必需，并指出 early return 与错误处理才是 effect system 真正被使用的地方，进而质疑其必要性。

The author explains why effect systems in programming languages are exciting, offering better control over resource interactions, composability, and testability compared to current systems.