💾 Archived View for dcreager.net › 2023 › 07 › 19-reading-log.gmi captured on 2024-12-17 at 09:20:27. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2023-07-22)
-=-=-=-=-=-=-
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!)