Have to add that we work exclusively in strongly-typed languages. Kinda want to see how it plays out, but I can't help but argue with him, so I think I'll just go.
Also have the option of selectively/strictly enforcing in CI, to get an experience & protections similar to "compile-time type checking"