Type checking is a symptom, not a solution

> When components are designed as genuine black boxes—where what happens inside stays inside, and communication occurs only through explicit input and output ports—systems naturally become easier to reason about.

"How do you specify the shape of the input and output ports?" shouts the goose as it chases me away.

Text goes in and text comes out - simple! Works perfectly for shell scripts. /s

Author's continuation article at https://programmingsimplicity.substack.com/p/type-checking-c... clearly shows that the input and output ports he can think of are all "string".

If I felt snarky, I'd say "This is your brain on Javascript".