Why Algebraic Effects?
a year ago
- #programming
- #functional-programming
- #language-design
- 代数效应（effect handlers）是编程语言中日益流行的一项强大特性，它支持可恢复的异常处理机制。
- 该特性支持用户自定义控制流，能以库的形式实现生成器、异常、异步和协程等功能。
- 效应具备良好的组合性，使函数能对多种效应保持多态性，例如一个能处理任意效应的`map`函数。
- 效应可用于依赖注入，简化测试和实现替换（如数据库、日志系统的切换）。
- 通过自动传递上下文（如状态管理），效应能消除手动传递的繁琐，使API更简洁。
- 效应能替代全局变量（如随机数生成、内存分配）同时规避全局变量的弊端。
- 该特性支持直接式编程风格，避免使用联合类型或可选类型进行繁琐的错误处理。
- 通过标记副作用（如`IO`、`Print`），效应在保证纯度的同时有助于并发控制和安全性。
- 支持通过记录和重放效应实现回放功能，这对调试和确定性执行很有价值。
- 基于能力的安全机制得到增强，因为所有副作用必须显式声明，杜绝隐蔽的副作用。