ATS中的<cloref1>是什么意思？

Question

我经常看到类似(int, int) -<cloref1> bool的类型。这种类型的含义是什么？

Answer 1

该类型的-<cloref1>部分涉及装饰的箭头符号，以表示给定函数的效果。

有关可用效果的列表，请参阅this ATS Wiki page; cloref1表示该函数是一个持久化闭包，需要通过例如将-DATS_MEMALLOC_LIBC标志传递给编译器来指定内存分配函数来启用垃圾收集器。