Nr 255 — Pierwszy — Rozwiązanie z komentarzem

Pierwszy

Zaimplementuj First<T>, aby dawał typ pierwszego elementu krotki T, a dla pustej T — never.

Spróbuj rozwiązać samodzielnie

Par 2

Zagadka

head-tuple.ts

type First<T extends readonly unknown[]> = ???

type First<T extends readonly unknown[]> = ???

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.

Testy

First<[1, 2, 3]>—
→ 1
First<[]>—
→ never
First<[string]>—
→ string

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

Jak poszło innym

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ć.

Gra na krótkim dystansie

Najmniej znaków

Nie ma jeszcze publicznych wyników.

Archiwum

Rozwiązanie z komentarzem

Opublikowano 8 września 2026

Rozwiązanie

type First<T extends readonly unknown[]> = T extends [infer H, ...unknown[]] ? H : never

Najczęstsza błędna odpowiedź

type First<T extends readonly unknown[]> = T extends [infer H] ? H : never

Jednoelementowy wzorzec pasuje do jednoelementowych krotek i do niczego więcej. First<[string]> działa, First<[1, 2, 3]> spada prosto do never, a zagadka wygląda na w połowie rozwiązaną, bo jedno sprawdzenie przechodzi. Wzorzec musi powiedzieć „a potem cokolwiek”.

Linia po linii

[infer H, ...unknown[]]
Reszta jest rozwinięta jako unknown[], a nie wywnioskowana, bo nic jej tu nie potrzebuje. Nazywanie tego, czego nie użyjesz, to najczęstszy sposób, w jaki te wzorce robią się trudniejsze do czytania, niż są.
: never
never to uczciwa odpowiedź na „nie ma takiego elementu” — a nie undefined, które twierdziłoby, że element jest, tylko brakuje jego wartości.

Do zapamiętania

Wzorce krotek są dosłowne. [H] znaczy „krotka długości jeden”, a jeśli chodziło ci o „co najmniej jeden”, musisz dopisać resztę.