¶Reading log
2025-07-18
Continuing digging into Castagna et al's papers about set-theoretic types. I'm in the middle of implementing a “snazzier” unification solver for ty, and so I've been digging through [Castagna2022] looking for specifics about type variables and inferring specializations of them.
[Castagna2022] “Programming with Union, Intersection, and Negation Types”
The content is definitely there...
The extension with polymorphic types is as conceptually simple as its practical implementation difficult...We will not explain the details about how to do it: this has needed two distinct papers, to which the reader can refer for all details.
...for some definition of “there” 😵💫
Okay, so two new papers for the reading log!