algebraic-effects

Prism 是一种新型函数式语言，它结合了代数效应与类型系统，允许在没有单子的情况下使用可变状态及其他效应，同时从外部保持纯函数性。其目标是让效应成为类型系统的一等公民，从而实现优化和安全使用。

这是一篇教育性博客文章，通过类比 try/catch 和 async/await 来解释编程中的代数效应概念，并讨论了它们与 React 及未来编程范式的潜在关联。