Algebraic Subtyping (2016) [pdf]
Lots of positive comments. Given that I&#x27;m an idiot, can anyone summarise why this is interesting?<p>My view is that this extends the work possible with the type system at compile time (e.g. in an integer sense, which would be pretty cool if you scoped it as that) but doesn&#x27;t extend to &quot;real&quot; numbers or byte manipulation of data.<p>Like do I need this level of structure in my data, and am I being short-sighted by thinking of it as constraining?<p>Perfectly happy to get smashed to heck in exchange for being enlightened :)   Thanks!<p>EDIT: sorry in advance for the degree of my ignorance.