WillowScript (.ws) is a proposed, not-yet-implemented language. Examples and library integrations here are illustrative design exercises, not verified runnable programs.

Types after names

A binding connects a useful name to a value. A readable name explains what that value represents in the mod. A stable value and a changing count should not look identical in the code: making their different roles visible reduces accidental edits.

1. 1

   Types after names — Discover and trace

   Make a prediction before touching the example.

   Open practice
   →
2. 2

   Types after names — Build the smallest useful slice

   Change one useful behavior while keeping the contract small.

   Open practice
   →
3. 3

   Types after names — Change one requirement

   Translate one new mod requirement into a deliberate change.

   Open practice
   →
4. 4

   Types after names — Boundary detective

   Find a case the simplest success path does not cover.

   Open practice
   →
5. 5

   Types after names — Flash-check repair

   Use a plausible mistake to show that you understand the mechanism.

   Open practice
   →
6. 6

   Types after names — Connect the previous skills

   Connect this idea with a previously learned responsibility.

   Open practice
   →
7. 7

   Types after names — Review and demonstrate

   Collect a useful learning record without pretending the code was executed.

   Open practice
   →