本文提出了一个针对C语言的类型和效应系统提案，旨在通过扩展核心类型系统，强制函数和代码块声明其评估将产生的效应类别。提案建议跟踪和检查语句、表达式和函数体的效应，并引入了一系列基本效应，包括本地效应、持久性效应和控制效应。此外，提案还探讨了效应签名、效应检查、多态效应签名以及该提案的未来方向。