ATS中$effu的含义是什么？

我在ATS库代码中多次看到准功能符号

$effmask\u all

和

$effmask\u ref

。这些符号是什么意思？何时调用它们？

ATS可以跟踪某些影响（例如，非终止（ntm）、参考（ref）、写入（wrt））。有时，您可能希望typechecker忽略表达式求值可能产生的效果。为此，您可以使用

$effmask\u all

屏蔽所有效果，并使用

$effmask\u ref

仅屏蔽参考效果。还有

$effmask\u wrt

用于屏蔽写入效果