¿Puedes explicar qué es una comprobación de tipo (Type Guard) y cómo se usa en TypeScript?

La comprobación de tipos (Type Guard) en TypeScript es una forma de precisar el tipo de una variable en tiempo de ejecución, para que el compilador pueda trabajar con ella de manera segura. La comprobación de tipos ayuda a evitar errores relacionados con el uso incorrecto de los tipos.

Por ejemplo, si tienes una variable que puede ser una cadena o un número, puedes usar una comprobación de tipos para verificar su tipo y realizar las acciones correspondientes:

function ejemplo(valor: string | number) {
  if (typeof valor === 'string') {
    // Aquí TypeScript sabe que valor es una cadena
    console.log(valor.toUpperCase());
  } else {
    // Aquí valor es un número
    console.log(valor.toFixed(2));
  }
}

La comprobación de tipos puede implementarse usando los operadores typeof, instanceof o funciones personalizadas que devuelven una verificación de tipo.