Archived – this site ended its life on 2022.01.02. For the next microblogging site from Chris Krycho, see v1.microblog.chriskrycho.com.

The kind of day I’m having: I went searching for literature on semantic versioning for dependent types. As far as I can tell, there’s literally nothing1 — and as my friend Dan Freeman pointed out, it’d probably be a 🍾 moment if they were in broad enough use to have this literature. 😂

In related news: conceptualizing type narrowing in TypeScript as write operations on types in the flow-control-based subset of dependent typing which TS enables has proven profitable for resolving a previously-intractable conceptual problem about SemVer for TS I was having. 😂


  1. The top hit on both DuckDuckGo and Google for the search query "semantic versioning" "dependent types" is… me. 😬 ↩︎