Nr 276 · 28 września 2026 · Łatwa

If na poziomie typów

Zaimplementuj If<Condition, Then, Else>, aby literalny warunek logiczny wybierał dokładnie jedną gałąź.

Spróbuj rozwiązać samodzielnie

Par 2

type-level-if.ts

type If<Condition extends boolean, Then, Else> = ???

type If<Condition extends boolean, Then, Else> = ???

Podejście 1 z 2Jeszcze nie sprawdzone

Zastąp ??? — rozwiązanie sprawdzamy przypadkami poniżej. Tab wcina; naciśnij Escape, a potem Tab, by wyjść fokusem.

Jak oceniamy test Dokładna równość typów, nie przypisywalność — przecięcie to nie to samo co spłaszczony obiekt.

Tę zagadkę rozwiązało jak dotąd mniej niż 5 osób. Rozkład pojawi się, gdy próbka będzie na tyle duża, by coś znaczyć.

Najmniej znaków

Nie ma jeszcze publicznych wyników.

Opublikowano 29 września 2026

type If<Condition extends boolean, Then, Else> = Condition extends true ? Then : Else

type If<Condition extends boolean, Then, Else> = boolean extends Condition ? Then : Else

Przypisywalność ma kierunek. boolean nie jest przypisywalne do węższego literału true, więc odwrócenie pytania wybiera złą gałąź.

Condition extends true ? Then : Else
Dla warunku literalnego test ma jedną odpowiedź, więc przeżywa tylko jedna gałąź.

Typ warunkowy jest instrukcją if, której pytaniem jest przypisywalność, a kierunek od lewej do prawej należy do znaczenia.