The topic of 'branded types' keeps coming up once in a while. There aren't too many resources on it right now - and no article is as deep on them as I want. Time to write it myself!
Marking as blocked on #134. Some common strategies around branded types involve asserts, which I think necessitates writing an article first on why throwing errors isn't type-safe.
Overview
The topic of 'branded types' keeps coming up once in a while. There aren't too many resources on it right now - and no article is as deep on them as I want. Time to write it myself!