Tom Ellis 将他于 2024 年初发布的 Haskell 库 Bluefin 重新归类为"能力系统"而非单纯的效应系统。Bluefin 与 effectful 等传统效应系统的区别在于，它将效应编码为值级参数而非类型级约束，使其更贴近经典的能力本位安全框架。
背景
Bluefin 是一个 Haskell 库，基于 IO 包装的效应系统管理副作用，最初受 effectful 库启发。能力系统的概念在计算机科学中已有数十年历史，最初应用于操作系统安全模型。
- 来源
- Lobsters
- 发布时间
- 2026年9月2日 14:09
- 评分
- 5.0 / 10