Doom Ran Inside TypeScript's Type Checker. Here's How Types Execute Code

Doom's first frame took 12 days of type checking. The machinery: recursive conditional types, tuple-length math, and the limits tsc enforces.