No. 259 · September 11, 2026 · Brutal
Get by path
Implement `Get<T, P>` so a dotted path like `"a.b.c"` reads the type at that position in `T`. A path that does not exist produces `never`.
01
Puzzle
Par 5Puzzle
get-path.tsStroke 1 of 5Not run yet
Replace ??? — your solution is checked against the cases below. Tab indents; press Escape then Tab to move focus out.
Checks
4Get<{ a: { b: { c: 1 } } }, 'a.b.c'>—→ 1Get<{ a: { b: string } }, 'a.b'>—→ stringGet<{ a: 1 }, 'a'>—→ 1Get<{ a: 1 }, 'a.b'>—→ never
How a check is judged Exact type equality, not assignability — an intersection is not the same as the flattened object.
How everyone did
Fewer than 5 people have solved this one so far. The distribution appears once there is enough of a sample to mean anything.
Short game
Fewest charactersNo public scores yet.
02
Annotated solution
This write-up publishes 24 hours after the puzzle closes.