topic: type systems
Everything I’ve written on the subject, from the beginning of this version of the site.
-
2023
-
Dec
-
16
-
Why Not Type-Based Overloading in Rust?—JOURNAL
Too much spooky action at a distance.
-
-
-
-
2024
-
May
-
06
-
The Cutting Edge of Versioning (LambdaConf 2024)—ELSEWHERE
Semantic Versioning, library & framework evolution, programming language design, type systems, and you.
-
-
-
That’s it for this topic… but there are many, many more!