DSA Studio

v6 Semantics: static types on a dynamic runtime Checkpoint

Predict fresh artifacts, diagnose a broken invariant, and test a version boundary. Select one answer per multiple-choice question; numeric responses use the stated integer format. Use review links to revisit the relevant representation, then attempt the independent transfer task.

Get every question correct to pass this checkpoint. You can review feedback, revise your answers, and submit again.

1. Which context can supply the type for an empty array literal in this checker?

Select one answer.

2. After let xs:array<number> = [];, what is the documented result of plain xs=[];?

Select one answer.

3. What new v6 fact permits rejecting u.double(true) when double expects number?

Select one answer.

4. Which runtime-hashable primitive from v3 is excluded by v6’s stated static map-key rule?

Select one answer.

5. A typed call has the wrong argument count and an argument expression with a type mismatch. What does this checker prioritize?

Select one answer.

Join Discord