Type guards zawężają uniony na podstawie sprawdzeń w runtime. typeof sprawdza prymitywy, in sprawdza właściwości, instanceof klasy, a własne predykaty zwracają x is Type.
Rozwinięcie krótkiej odpowiedzi — co zwykle ma znaczenie w praktyce:
Krótki przykład (szablon do wyjaśniania):
// Example: discuss trade-offs for "jak-działają-type-guards-(typeof,-in,-instanceof"
function explain() {
// Start from the core idea:
// Type guards zawężają uniony na podstawie sprawdzeń w runtime. typeof sprawdza prymitywy, i
}