Cool looking paper on using graded coeffects to work with multiple versions of a package within a single program: arxiv.org/abs/2107.07301
This is like how Cargo and NPM let you depend multiple versions of a package, but with better in-language support from the type system!
Conversation
Replying to
I wonder if something like this could be used for typed distributed systems, where you might want to upgrade type definitions and state over time in a cluster, without downtime. 🤔
4