Conversation

Brendan Zabarauskas
@brendanzab
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!
Screenshot of Section 4 of the paper, showing the syntax of the language.
Screenshot of Section 1.2 of the paper, which gives and overview of what the language supports.
Image
1
38