I’m working on a comparison between capabilities and algebraic effects. Given that we don’t have much documentation on what capabilities are yet, I’m reaching out to try to clarify some aspects: 1. What are capabilities? It seems Caprese is introducing two different effect trackings: capture tracking (^{...}) and context functions (?=>). Can we say context functions is what is meant as capabilities and capture tracking is a separate solution to make them safe by avoiding escaping? How d...
