type theory

Type systems you can argue with

Refinement types have spent twenty years as a research curiosity. The tooling finally caught up, and the argument for them changed from elegance to economics.