Prism: An Impure Functional Language With Typed Effects

Stephen Diehl 介绍 Prism，一门明确承认副作用存在、同时用 typed effects 约束副作用的函数式语言。它不是追求纯度口号，而是让 IO、状态、异常等行为进入类型层面，便于调用者知道表达式可能做什么。文章的技术看点在于 effect system 如何成为语言设计的主轴，而不是后来补上的 lint 规则。