Co to jest union i zawężanie typu?

Union opisuje kilka dozwolonych możliwości. Na przykład wynik może być sukcesem z danymi albo błędem z komunikatem. Zawężanie oznacza sprawdzenie, z którą możliwością mamy do czynienia, żeby bezpiecznie użyć odpowiednich pól.

Jeśli obiekt ma status: 'success', TypeScript może wiedzieć, że dostępne jest data. Przy status: 'error' dostępne będzie message. Dzięki temu nie potrzebuję wielu niezależnych flag i nie tworzę przypadkowo stanu „sukces i błąd jednocześnie”. Typ pomaga opisać dopuszczalne dane, ale reguły przechodzenia między stanami nadal trzeba napisać w programie.