8 micro-topics in Programming Languages, each with the evidence that proves you have it and the written reason behind every link. Before you start, it rests on 1 other domain. Downstream, it holds up 3 domains.
8 topics · depth 2–6 of 16 · 7 internal links · 2 in · 3 out
Load-bearing links first. Each one says what in this domain rests on what outside it, and why.
2 links
Annotate types rests on Reason about primitive types and coercion
You annotate the types JavaScript already has.
Narrow types rests on Control flow with conditionals and loops
Narrowing follows control flow.
In prerequisite order. Each idea names the artifact that closes it, the market demand that put it on the map, and what it stands on.
Depth 2 · language · unassisted · M09 §9.4
Types primitives, arrays and objects
Reason about primitive types and coercion · JavaScript Core
You annotate the types JavaScript already has.
Depth 3 · conceptual · unassisted · M09 §9.4
Chooses between them deliberately
Interfaces name annotated shapes.
Depth 3 · representational · scaffolded · M09 §9.5
Tunes tsconfig for strictness and output
Compiler options govern how your annotations are checked.
Depth 4 · conceptual · unassisted · M09 §9.4
Represents alternatives precisely
Model shapes with interfaces and type aliases
Unions compose the shapes you can define.
Depth 4 · conceptual · scaffolded · M09 §9.4
Parameterizes over types with constraints
Model shapes with interfaces and type aliases
Generics parameterize the shapes you can define.
Depth 5 · conceptual · scaffolded · M09 §9.4
Uses guards and control flow to refine
Compose union and intersection types
Narrowing resolves a union to one member.
Control flow with conditionals and loops · JavaScript Core
Narrowing follows control flow.
Depth 5 · procedural · unassisted · M09 §9.4
Uses Partial, Required, Pick and Omit
Write generic functions and types
Utility types are generic types.
Depth 6 · conceptual · guided · M09 §9.5
Computes types from other types
Conditional and mapped types extend the same machinery.
Everything downstream that names an idea here as a prerequisite, grouped by where it lives.
1 link
Keep types safe across the stack rests on Annotate types
End-to-end types require typed clients.
1 link
Organize code into modules rests on Annotate types
Type-aware imports are easier once annotations exist.
1 link
Add type hints rests on Annotate types
Type annotation transfers across languages.
Retool. Retrain. Relaunch.
375 ideas. 17 weeks. No tuition, ever.
Vets Who Code is a veteran-run 501(c)(3). The accelerator is free, remote, and we don’t take a share of your first paycheck.
Free · Remote · 17 weeks · EIN 86-2122804