The main advantage of a type-safe language

“A type system is the most cost-effective unit test you’ll ever have.”