效果系统-一流百科

效果系统

效果系统概述在计算中，效果系统是一个描述计算机程序的计算效果的正式系统，例如副作用。效果系统可以用来对程序的可能效果进行编译时的检查。效果系统扩展...