Каково значение lam @ в ATS?

Question

Иногда я вижу код вроде следующего:

var foo = lam@(x: int): int => ... 

Что такое смысл lam@? В чем разница между lam и lam@?

Answer 1

Memory-wise, lam создает коробчатое закрытие (если это замыкание) и выделяет его в кучу. lam@ создает плоское закрытие и выделяет его на стек стека. См. official tutorial для справки.