Tootfinder

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version)
Yichen Xu, Oliver Bra\v{c}evac, Cao Nguyen Pham, Martin Odersky
https://arxiv.org/abs/2509.07609

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version)
Capturing types in Scala unify static effect and resource tracking with object capabilities, enabling lightweight effect polymorphism with minimal notational overhead. However, their expressiveness has been insufficient for tracking capabilities embedded in generic data structures, preventing them from scaling to the standard collections library -- an essential prerequisite for broader adoption. This limitation stems from the inability to name capabilities within the system's notion of box type…