主要观点：介绍了静态效果系统的概念及其对编程语言的益处，探讨了效果在当今编程中的现状、当前研究中的问题及两种效果系统（静态和动态），提出可将常规类型系统和效果系统同时运行，详细阐述了effecta语言中效果的定义、语法及相关特性，如显式效果标注、局部效果修剪、开发者体验等，并强调效果与传统类型无关。
关键信息：

• 效果是程序中发生某事的后果，包括修改外部数据、打印到控制台等，有可预测和不可预测之分，编程语言分为命令式和函数式，Rust 通过借检器限制效果。
• 现有研究中对“效果系统”有诸多论文和实践，如 Koka 语言，但存在问题，如效果在类型系统中的表现与常规类型行为不符。
• 静态效果系统类似 Rust 的借检器，需向效果检查器证明代码无异常效果；动态效果系统通过创建回调处理程序状态变化。
• effecta语言中效果是对任何状态的改变，包括变量修改、循环条件体改变状态等，效果有主体和生命周期，所有效果需显式标注。
• 基本语法遵循 Rust 语法，如println有io效果需标注，变量修改需标注mut效果，可通过proto关键字进行函数效果推断等。
  重要细节：
• 简单效果类型是单元效果，如io效果是mut: std::io::OutputHandle的别名。
• 局部效果根据生命周期判断是否传播，若效果生命周期小于或等于目标生命周期则不传播。
• 可通过--prototype标志在调试时将所有函数视为原型函数，方便迭代开发。
• 效果与传统类型无关，类型系统和效果系统可并行运行分析程序。