DSA Studio

v6 Types: static guarantees for a dynamic VM 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 accepted v6 program can still fail at runtime under the stated nil rule?

Select one answer.

2. How is number tokenized in a type annotation?

Select one answer.

3. Which source produces one ARROW token?

Select one answer.

4. What does this v6 analyzer do with fn f()->number {}?

Select one answer.

5. Which declaration requires an explicit type annotation even if its initializer seems inferable?

Select one answer.

Join Discord