TypeScript tem tipagem estrutural. O que isso significa na prática, e onde isso te morde?

Tipagem estrutural significa que a compatibilidade é decidida pelo formato, não pelo nome declarado, então qualquer objeto com as propriedades certas satisfaz o tipo. Isso torna tipos baratos e componíveis, mas também significa que dois conceitos não relacionados com o mesmo formato são intercambiáveis, então uma string userId pode ser passada onde se espera uma string orderId. A correção usual é um branded type ou um wrapper pequeno que dá ao valor um formato distinto.

Significa que o TypeScript compara formatos, não nomes, então se algo tem as propriedades certas é atribuível, não importa de onde veio. Isso é quase sempre um presente, já que faz os tipos parecerem documentação em vez de cerimônia. Onde morde é quando dois tipos têm o mesmo formato mas são conceitos diferentes. Todos os meus ids eram strings simples, então passar um id de usuário para uma função que esperava um id de pedido compilava perfeitamente e falhava em produção. Corrigi com branded types, uma interseção com uma tag única que só uma função construtora consegue produzir, para o compilador parar de tratá los como iguais. A outra armadilha é que os tipos são apagados, então nada checa a resposta de uma API em tempo de execução. Eu parseio qualquer coisa que cruza uma fronteira com um validador de schema e deixo o tipo inferido fluir dali, o que significa que o tipo e o dado real não podem divergir. E sei que a checagem de propriedades em excesso só se aplica a object literals novos, o que explica muita confusão sobre por que um campo extra às vezes é erro e às vezes não.