Prism: 一种带类型效应的非纯函数式语言
本文介绍了 Prism 语言的设计，这是一种融合了类型效应（typed effects）的非纯函数式编程语言。Prism 通过在类型系统中显式标记副作用，使程序员能够精确控制和管理计算中的效应，如状态、异常和输入/输出操作，从而在保持函数式编程表达能力的同时，增强了代码的可推理性和安全性。
背景速读
- Stephen Diehl 是一位知名的 Haskell 程序员和编程语言理论科普作者，常撰写关于类型系统和函数式编程的深度文章。
- Prism 是 Diehl 设计的教学性编程语言，核心思路是“有类型副作用”——即在类型系统中显式标记函数是否会产生读写文件、修改内存或抛出异常等副作用。
- 传统函数式语言（如 Haskell）用 Monad 来管理副作用，但学习曲线陡峭；Prism 尝试用更直观的行多态（Row Polymorphism）和效果系统（Effect System）来达到同样目的。
- 这篇文章本身面向已有函数式编程和类型系统基础的读者；它展示了一个完整的小语言设计，包含语法、类型规则和形式化语义，是 PL（编程语言理论）领域的学术性技术笔记。