I advocate for type systems specifically because of how much I've worked with dynamic languages in big corps.