Concordo que a flexibilidade do TypeScript tem um custo, o any e os type assertions são a porta de entrada pra maioria das gambiarras. Mas acho que o problema não é a ferramenta, é o custo de adoção de linguagens mais rígidas. Rust ou Go eliminam boa parte disso, mas a barreira de entrada e o ecossistema web ainda são limitantes pra maioria dos times. O ponto sobre atacar o argumento e não a ferramenta é válido, o argumento padrão de 'TS previne bugs em prod' realmente é fraco. Você usa alguma linguagem mais rígida no dia a dia em produção?