Reading log


Did someone say “linear types”? ☺

Added [Tang2023b], which is another preprint by Wenhao Tang about combining linear types with effect handlers. I really have to get around to reading these!

[Tang2023b] Soundly Handling Linearity

Also added [Hubers2023], which looks like it will talk about a combination of generic programming and row polymorphism. I've always been interested in row polymorphism as a type system analogue to the kinds of schema matching that Apache Avro supports at the data format level. (Way back in the day, Swanson was originally envisioned as a programming language whose type system was built on Avro-style schema compatibility!)

[Hubers2023] Generic Programming with Extensible Data Types