Можете ли да обясните какво е проверка на типа (Type Guard) и как се използва в TypeScript?

Проверка на тип (Type Guard) в TypeScript е начин за уточняване на типа на променлива по време на изпълнение, така че компилаторът да може да работи с нея безопасно. Проверката на тип помага да се избегнат грешки, свързани с неправилна употреба на типове.

Например, ако имате променлива, която може да бъде или низ, или число, можете да използвате проверка на тип, за да проверите нейния тип и да изпълните съответните действия:

function пример(стойност: string | number) {
  if (typeof стойност === 'string') {
    // Тук TypeScript знае, че стойността е низ
    console.log(стойност.toUpperCase());
  } else {
    // Тук стойността е число
    console.log(стойност.toFixed(2));
  }
}

Проверката на тип може да бъде реализирана с помощта на операторите typeof, instanceof или потребителски функции, които връщат проверка на типа.