Я часто вижу тип вроде (int, int) -<cloptr1> bool. Что это на самом деле значит? Как это соотносится с таким типом, как (int, int) -<cloref1> bool?
Что означает -‹cloptr1› в ATS?
Ответы (1)
Часть -<cloptr1> типа включает в себя украшенную стрелку для обозначения эффектов для данной функции.
Список доступных эффектов см. на этой странице ATS Wiki; cloptr1 означает, что функция представляет собой линейное замыкание, которое должно быть явно освобождено (и, следовательно, не требует включения сборки мусора, в отличие от функций замыкания, обозначенных cloref1). См. главу о линейных замыканиях из A Tutorial on Возможности программирования в ATS для подробного описания и объяснения.
person
Arets Paeglis
schedule
26.10.2016
