That phrase makes me sad. Mainstream languages have a lot of scope for improvement in their type systems.