Type Safety

Type safety é a característica de um sistema que evita operações inválidas entre tipos, reduzindo erros de execução.