Agree with your point. Writing good tests & utilizing type system properly should help a lot with catching bugs. But for some reason writing tests always remin

Agree with your point. Writing good tests & utilizing type system properly should help a lot with catching bugs. But for some reason writing tests always reminds me with xkcd "Standards" (https://xkcd.com/927/ https://xkcd.com/927/). Instead of "fixing standards by create another standard", now it's catching code bug with more code. At least for type system, it gets maintained by language maintainers, not project maintainers.