v6 Parsing: type annotations and signatures 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. For map<string,array<bool>>, what is the map’s Value child?

Select one answer.

2. A function has parameters x:map<string,number> and y:array<bool>. How many entries belong in ParamTypes? Enter only the requested integer.
3. Which v6 declaration remains syntactically valid without a variable annotation?

Select one answer.

4. Which case should parse successfully and then fail compatibility analysis?

Select one answer.

5. Why can array<array<number>> be parsed without a shift-operator ambiguity in this language?

Select one answer.

Join Discord