Type systems verify properties of programs. Production correctness is a property of systems. The gap between these is where the interesting failures live.
It’s a bit wandering, but this piece has great insight on the whole and explains the motivations behind a lot of abstract modern tooling.
As a grugbrained/anti-complexity type of designer, I was pleased that the author did such a good job aligning their arguments so that they were equally relevant to single-node hegemonic deployments just as much as Web-Scale ™ microservice soup.
It’s a bit wandering, but this piece has great insight on the whole and explains the motivations behind a lot of abstract modern tooling.
As a grugbrained/anti-complexity type of designer, I was pleased that the author did such a good job aligning their arguments so that they were equally relevant to single-node hegemonic deployments just as much as Web-Scale ™ microservice soup.