O TypeScript, desenvolvido pela Microsoft, vem sendo amplamente adotado no desenvolvimento de aplicações web modernas, especialmente em projetos de maior escala. Considerando suas características, analise as afirmativas a seguir:

I. O TypeScript é um superset do JavaScript que adiciona tipagem estática opcional ao código, sendo necessariamente compilado para JavaScript antes de ser executado em navegadores ou no Nodejs.
II. Em TypeScript, interface e type são completamente intercambiáveis em todos os contextos de uso, sem distinção técnica entre eles, podendo substituir um ao outro sem impacto no comportamento do programa.
III. O TypeScript suporta union types, permitindo que uma variável seja declarada para aceitar mais de um tipo de dado, como em: let valor: string | number, ampliando a flexibilidade com manutenção da segurança de tipos.
IV. Os generics em TypeScript possibilitam a criação de funções, classes e interfaces reutilizáveis que operam com múltiplos tipos de forma segura, preservando a verificação de tipos em tempo de compilação.

Estão CORRETAS: