ALL LESSONSWEEK 16TUESDAY

BUILD · JAVASCRIPT FOUNDATIONS

Typeof and null

Values, types, and coercion30–60 MINUTESCORE + PRACTICAL
01

GROUND

Problem

What becomes confusing, fragile, or impossible without understanding typeof and null? This lesson answers that through explanation, a worked example, two runnable exercises, and a reference solution. No teacher-supplied worksheet is required.

JavaScript began as a small browser scripting language, then accumulated object, functional, metaprogramming, module, and runtime capabilities while preserving early coercion rules.
02

LEARN

Concept explanation

Typeof and null belongs to “Values, types, and coercion”. JavaScript values have precise types, coercions, and comparison algorithms. This lesson turns typeof and null into a working part of weekly fixture.

For typeof and null, trace concrete input, state transition, output, and failure through a JavaScript semantic rule observable through values, property operations, scope, calls, or protocol steps.

Execution evaluates expressions against lexical environments. Objects are property tables linked through prototypes; functions are callable objects with closures. Apply that model to supplied normal, boundary, and failure cases; each case below names its input and expected evidence.

Observable

Evidence produced by the typeof and null experiment: output, state, trace, bytes, timing, or diagnostics.

Invariant

Condition that must remain true while inputs or implementation of typeof and null change.

Boundary

Point where typeof and null crosses ownership, representation, time, process, network, or trust.

Example bank

Compare normal, boundary, failure, and cross-layer cases. Predict each observation before revealing the explanation.

Baseline · one variable

SETUPBuild typeof and null around this exact fixture: Evaluate a table of typeof, Boolean, Number, String, ==, ===, and Object.is cases.

OBSERVEtypeof and null handles baseline and boundary while preserving this observable result: Every output is predicted and explained by named conversion/comparison algorithm.

WHY IT MATTERSThis isolates the normal contract of typeof and null; preserve its raw evidence as the control for every later comparison.

Boundary · same contract, harder input

SETUPAdd typeof and null support for weekly boundary case: Include null, undefined, NaN, -0, BigInt, empty string, and empty array.

OBSERVERecord what remains invariant and the first representation, owner, size, or timing value that changes in Chromium Sources · console · hx · Node REPL.

WHY IT MATTERSA boundary example is useful only when one named dimension changes and everything else stays comparable.

Failure · evidence before repair

SETUPMake typeof and null surface—not hide—this failure: Mix BigInt and Number arithmetic and capture thrown error.

OBSERVECapture the first divergence from the baseline, including exact input, diagnostic, state, and recovery result. Expected recovery: typeof and null handles baseline and boundary while preserving this observable result: Every output is predicted and explained by named conversion/comparison algorithm.

WHY IT MATTERSThe diagnostic is part of the interface. Repair the proven cause, not the most visible symptom.

Cross-layer · follow ownership

SETUPTrace typeof and null one layer below its usual abstraction through a JavaScript semantic rule observable through values, property operations, scope, calls, or protocol steps.

OBSERVEUse property descriptors, scope panels, call stacks, console probes, and deliberately tiny cases.

WHY IT MATTERSThe lower layer is earned when it explains evidence the current layer cannot. Otherwise keep typeof and null at the simpler boundary.

03

SEE

Worked example

Start from supplied lab.mjs. Focus: Build typeof and null around this exact fixture: Evaluate a table of typeof, Boolean, Number, String, ==, ===, and Object.is cases.

  1. Run: node lab.mjs
  2. Save baseline evidence. Use property descriptors, scope panels, call stacks, console probes, and deliberately tiny cases.
  3. Boundary case: Add typeof and null support for weekly boundary case: Include null, undefined, NaN, -0, BigInt, empty string, and empty array.
  4. Failure case: Make typeof and null surface—not hide—this failure: Mix BigInt and Number arithmetic and capture thrown error.
RESULT
typeof and null handles baseline and boundary while preserving this observable result: Every output is predicted and explained by named conversion/comparison algorithm. Starter-level baseline: Two labeled records print in stable order; each exposes value, runtime type, and string representation.
04

START HERE

Starter material

PREREQUISITESNode.js 22 or newer. Verify with node --version.

ONE-TIME SETUPmkdir reforging-js && cd reforging-js

Create lab.mjs, paste this exact content, then run the command below.

const cases = [
  { label: "baseline", input: 0 },
  { label: "boundary", input: 1 },
];

function observe(value) {
  // Change only this function while investigating typeof and null.
  return { value, type: typeof value, text: String(value) };
}

for (const test of cases) console.log(test.label, observe(test.input));
RUNnode lab.mjs

STOP / CLEANUPScripts exit by themselves; no cleanup command required.

05

DO WITH GUIDANCE

Guided exercise

Complete one useful slice: typeof and null

  1. Normal case: Build typeof and null around this exact fixture: Evaluate a table of typeof, Boolean, Number, String, ==, ===, and Object.is cases.
  2. Write predicted evidence from this named case before running starter.
  3. Implement smallest behavior that satisfies the checks.
  4. Run exact normal case. Save commands, inputs, outputs, and diagnostics in notebook.
  5. Explain changed evidence using lesson mental model in no more than five sentences.
Concrete guided solution
  1. Copy the supplied lab.mjs unchanged and run: node lab.mjs
  2. Write this prediction before inspecting output: typeof and null handles baseline and boundary while preserving this observable result: Every output is predicted and explained by named conversion/comparison algorithm.
  3. Perform only the named normal case: Build typeof and null around this exact fixture: Evaluate a table of typeof, Boolean, Number, String, ==, ===, and Object.is cases.
  4. Save the raw output, then annotate input → transition → evidence. Use Chromium Sources · console · hx · Node REPL to confirm the transition rather than inferring it.
  5. Compare prediction with evidence; if they differ, keep both and write the rule that explains the difference. Reference baseline: Two labeled records print in stable order; each exposes value, runtime type, and string representation.
06

DO ALONE

Independent exercise

Add one real case: typeof and null

  1. Create second case from blank file: Add typeof and null support for weekly boundary case: Include null, undefined, NaN, -0, BigInt, empty string, and empty array.
  2. Then create controlled failure: Make typeof and null surface—not hide—this failure: Mix BigInt and Number arithmetic and capture thrown error.
  3. Use Chromium Sources · console · hx · Node REPL to prove behavior, then repair controlled failure.
  4. Compare result against supplied acceptance checks and reference approach before marking complete.
Concrete independent solution
  1. Duplicate the starter into a clean comparison case; change only this boundary: Add typeof and null support for weekly boundary case: Include null, undefined, NaN, -0, BigInt, empty string, and empty array.
  2. Save its evidence beside the baseline and identify the first changed value. Use property descriptors, scope panels, call stacks, console probes, and deliberately tiny cases.
  3. Create the exact controlled failure: Make typeof and null surface—not hide—this failure: Mix BigInt and Number arithmetic and capture thrown error.
  4. Create smallest file or component named for typeof and null; accept weekly fixture as input rather than embedding hidden state.
  5. Implement baseline path first: Evaluate a table of typeof, Boolean, Number, String, ==, ===, and Object.is cases.
  6. Add one explicit branch or state for: Include null, undefined, NaN, -0, BigInt, empty string, and empty array.
  7. Return, throw, display, or log actionable failure for: Mix BigInt and Number arithmetic and capture thrown error.
  8. Run both successful cases after failure repair; verify: Every output is predicted and explained by named conversion/comparison algorithm.
  9. Rerun baseline, boundary, and repaired failure together. Accept only if all reproduce: typeof and null handles baseline and boundary while preserving this observable result: Every output is predicted and explained by named conversion/comparison algorithm.
07

COMPARE

Expected result

  • typeof and null handles baseline and boundary while preserving this observable result: Every output is predicted and explained by named conversion/comparison algorithm.
  • Two labeled records print in stable order; each exposes value, runtime type, and string representation.
  • Controlled typeof and null failure produces captured evidence; repair restores stated invariant without hiding error.
08

PROVE

Acceptance checks

Lesson is complete only when every check is true. Each check is stored locally and travels with your JSON backup.

0/5 complete · saved on this device

09

UNSTICK

Hints

Reveal hints
  1. Start with supplied normal case exactly as written: Build typeof and null around this exact fixture: Evaluate a table of typeof, Boolean, Number, String, ==, ===, and Object.is cases.
  2. For boundary case, change only named dimension: Add typeof and null support for weekly boundary case: Include null, undefined, NaN, -0, BigInt, empty string, and empty array.
  3. If result is confusing, diff raw inputs and evidence before editing implementation.
  4. If tool shows nothing useful, move observation one boundary lower: representation, runtime, OS, or network.
10

VERIFY

Solution

Attempt both exercises before opening reference approach.

Reveal reference solution
  1. Run unmodified starter and preserve baseline evidence: Two labeled records print in stable order; each exposes value, runtime type, and string representation.
  2. Create smallest file or component named for typeof and null; accept weekly fixture as input rather than embedding hidden state.
  3. Implement baseline path first: Evaluate a table of typeof, Boolean, Number, String, ==, ===, and Object.is cases.
  4. Add one explicit branch or state for: Include null, undefined, NaN, -0, BigInt, empty string, and empty array.
  5. Return, throw, display, or log actionable failure for: Mix BigInt and Number arithmetic and capture thrown error.
  6. Run both successful cases after failure repair; verify: Every output is predicted and explained by named conversion/comparison algorithm.
11

PREDICT · INSPECT · BREAK · DEBUG · MEASURE

Interrogate reality

Prediction: write expected output, state transition, ordering, and failure evidence before running either exercise.

Inspection: Use Chromium Sources, console descriptors, scope panels, call stacks, and tiny probes that expose one semantic rule at a time.

Measurement: Separate algorithmic cost, allocation, engine optimization, and measurement noise. Warm up only when the question requires it.

INSPECT

Capture raw evidence before explaining.

BREAK

Change one assumption and force controlled failure.

DEBUG

Find cause with Chromium Sources · console · hx · Node REPL before editing fix.

TOOL DRILL · keyboard only · record one retrievable command or shortcut
12

MASTERY + FRONTIER + BOUNDARY

Own the knowledge

TEACH

Explain typeof and null at beginner, intermediate, and senior depth.

REBUILD

Recreate smallest useful example from blank file without notes or AI.

RETRIEVE

Schedule recall for day 1, 7, 30, and 90.

Creative frontier lab

Try first without opening the solutions. The constraints invite invention; the reference gives one concrete direction, never the only valid answer.

Constraint inversion

Re-solve typeof and null by removing the most convenient abstraction. solve it with explicit language primitives and no utility dependency.

CONSTRAINTKeep the same inputs, observable result, and failure evidence; change the means, not the contract.

ORIGINAL IDEATurn subtraction into a design tool: the missing abstraction should reveal which responsibility it used to hide.

Reveal frontier solution
  1. Freeze the contract as three fixtures: Build typeof and null around this exact fixture: Evaluate a table of typeof, Boolean, Number, String, ==, ===, and Object.is cases. / Add typeof and null support for weekly boundary case: Include null, undefined, NaN, -0, BigInt, empty string, and empty array. / Make typeof and null surface—not hide—this failure: Mix BigInt and Number arithmetic and capture thrown error.
  2. List every convenience used by the starter; remove the highest-level one while preserving node lab.mjs.
  3. Implement the smallest replacement using solve it with explicit language primitives and no utility dependency.
  4. Run all fixtures and compare raw evidence. Keep the simpler version unless the removed abstraction has a demonstrated benefit.
Representation x-ray

Build an explanation artifact for typeof and null: log values, types, descriptors, receivers, prototypes, and protocol steps instead of final output only.

CONSTRAINTA peer must be able to locate the first divergence without reading implementation code.

ORIGINAL IDEATreat the explanation itself as a product: make invisible transitions visible, replayable, and diffable.

Reveal frontier solution
  1. Create one row or timestamped event for each transition in: Build typeof and null around this exact fixture: Evaluate a table of typeof, Boolean, Number, String, ==, ===, and Object.is cases.
  2. For every row record input, representation, owner, operation, output, and tool evidence from Chromium Sources · console · hx · Node REPL.
  3. Replay Add typeof and null support for weekly boundary case: Include null, undefined, NaN, -0, BigInt, empty string, and empty array.; highlight only changed rows.
  4. Replay Make typeof and null surface—not hide—this failure: Mix BigInt and Number arithmetic and capture thrown error.; stop at the first divergent row and attach its recovery action.
Adversarial remix

Combine the boundary and failure into a new user-visible scenario for typeof and null. build two intentionally different implementations behind one shared adversarial fixture.

CONSTRAINTDo not merely add more input. Invent a recovery interaction, alternate representation, or self-checking behavior.

ORIGINAL IDEAMake the system teach its own limits: the artifact should expose the invariant and offer a safe next action when it breaks.

Reveal frontier solution
  1. Combine these two pressures without changing them: Add typeof and null support for weekly boundary case: Include null, undefined, NaN, -0, BigInt, empty string, and empty array. AND Make typeof and null surface—not hide—this failure: Mix BigInt and Number arithmetic and capture thrown error.
  2. Name the invariant that must survive and the user-visible evidence when it cannot: typeof and null handles baseline and boundary while preserving this observable result: Every output is predicted and explained by named conversion/comparison algorithm.
  3. Implement this original direction: build two intentionally different implementations behind one shared adversarial fixture.
  4. Demonstrate baseline, combined failure, recovery, then baseline again; save the sequence as a regression fixture.

Capability frontier

Push typeof and null until another layer becomes justified. Record one robust technique, one contextual trade-off, and one labeled hack or historical curiosity.

CORE · PRACTICAL · CONTEXTUAL · HACK · FRAGILE · HISTORICAL · GOLF

Boundary

Language cleverness stops paying when readers cannot predict behavior or invariants become implicit.

If this vanished tomorrow…

Recreate helpers with functions, objects, closures, loops, and explicit state machines.

Why next layer is earned

Async runtime concepts are earned when work crosses time, I/O, rendering, or cancellation boundaries.