TypeScript types can run DOOM

Michigan TypeScriptLength: 7 minutesProgramming language design

In brief

The Michigan TypeScript group shows the Doom engine running entirely inside the TypeScript type system. It is open source, and two follow-up videos cover why and how they did it.