Tag: type systems

Stop Digging, Start Building: We Need LEGO Parts, Not Deeper Type Systems

TL;DR Paul Tarvydas argues that advancing type systems—dependent types, effect systems and sophisticated type-level programming—misses the practical need for composable…