我经常看到类似(int, int) -<cloptr1> bool的类型。它到底意味着什么？
它与(int, int) -<cloref1> bool等类型相比如何？
答案 0 :(得分：1)
该类型的-<cloptr1>部分涉及装饰的箭头符号，以表示给定函数的效果。
有关可用效果的列表，请参阅this ATS Wiki page; cloptr1表示该函数是必须显式释放的线性闭包（因此不需要启用垃圾收集，与cloref1 - 表示闭包函数相反）。有关详细说明和解释，请参阅 ATS编程功能教程中的chapter on linear closures。