1
Я часто вижу такой тип, как (int, int) -<cloref1> bool. В чем смысл такого типа?В чем смысл - <cloref1> в ATS?
A
ответ
2
Часть типа -<cloref1> включает в себя обозначенное обозначение стрелки для обозначения эффектов для данной функции.
Для получения списка доступных эффектов см. this ATS Wiki page; cloref1 означает, что функция представляет собой постоянное закрытие, которое требует сборщика мусора (включается путем указания функций выделения памяти, например, передавая флаг -DATS_MEMALLOC_LIBC компилятору) для освобождения.