Можете объяснить, что такое проверка типа (Type Guard) и как она используется в TypeScript?

Проверка типа (Type Guard) в TypeScript — это способ уточнить тип переменной во время выполнения, чтобы компилятор мог безопасно работать с ней. Type Guard помогает избежать ошибок, связанных с неправильным использованием типов.

Например, если у вас есть переменная, которая может быть либо строкой, либо числом, с помощью Type Guard можно проверить её тип и выполнить соответствующие действия:

function example(value: string | number) {
  if (typeof value === 'string') {
    // Здесь TypeScript знает, что value — строка
    console.log(value.toUpperCase());
  } else {
    // Здесь value — число
    console.log(value.toFixed(2));
  }
}

Type Guard может быть реализован с помощью операторов typeof, instanceof или пользовательских функций, возвращающих проверку типа.