Prism：一种具有类型化效应的不纯函数式语言
本文介绍了Prism，一种将类型化效应系统与不纯函数式编程相结合的实验性语言。Prism通过类型系统显式跟踪副作用（如状态、异常和I/O），同时保留函数式编程的表达能力。文章详细阐述了Prism的核心设计、类型系统及效应处理机制，展示了如何在保证安全性的前提下实现灵活的副作用管理。
背景速读
- Stephen Diehl 是一位知名的 Haskell 程序员和编程语言理论作家，以其对函数式编程、类型系统和加密货币的尖锐评论而闻名。
- 本文介绍了他设计的一门名为 Prism 的实验性编程语言，它属于"impure functional language"（不纯函数式语言）——既有纯函数式语言的强类型系统，又允许副作用（如状态、异常、I/O），但副作用通过类型系统显式标注。
- "typed effects"（类型化效应）是近年来编程语言研究的热点：语言用类型来追踪函数会引发什么副作用（例如是否会读写文件、抛出异常），而不是像 Haskell 那样用 Monad 来隔离副作用。
- Prism 直接借鉴了 Frank、Koka 等前沿研究语言的设计理念，但更贴近实用。该语言试图在 Haskell 的严谨类型安全与现代语言的灵活性之间找到平衡。
- 这篇文章在 PL（编程语言）社区内引发了关注，因为它标志着"代数效应"（algebraic effects）这一学术概念正在从论文走向真正的可运行语言实现。