Frontend Typescript Narrowing Control Flow Mülakat Soruları

TypeScript'te bir if bloğu içindeki typeof x === "string" kontrolü, o blok boyunca x'in tipine ne yapar?

class Dog { bark(): void {} }
class Cat { meow(): void {} }

function speak(pet: Dog | Cat) {
  if (pet instanceof Dog) {
    pet.bark();
  } else {
    pet.meow();
  }
}

Bu, hatasız derlenir mi?

function total(value: number | number[]) {
  if (Array.isArray(value)) {
    return value.reduce((a, b) => a + b, 0);
  }
  return value * 2;
}

Array.isArray(value), if bloğu içinde value'nun tipine ne yapar?

function greet(name: string | undefined) {
  if (name) {
    console.log(name.toUpperCase());
  }
}

if bloğu içinde name'in daraltılmış tipi nedir?

type Cat = { meow(): void };
type Robot = { beep(): void };

function activate(entity: Cat | Robot) {
  if ("meow" in entity) {
    entity.meow();
  } else {
    entity.beep();
  }
}

if dalında entity'yi Cat'e daraltan nedir?

Bir fonksiyon id: string | number alıyor ve sadece number üzerinde var olan .toFixed(2)'yi çağırması gerekiyor. Bunu derlenir hale getirmenin doğru yolu nedir?