¶Reading log
2023-07-19
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!)