hackertube.io

TypeScript types can run DOOM

Michigan TypeScript · demo · Watch on YouTube

Programming language designWeb development

What it is

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.

Why Hacker News recommends it

HN commenters link it as a delightful example of how far TypeScript types can be pushed, since they are Turing complete.

  • 1 people recommended it
  • 1 different months
  • 0 strong recommendations
  • first 2025, last 2025

What HN commenters said

  1. “I must link this wonderful video about TypeScript types running... DOOM.”

    Wonderful video of TypeScript types running DOOM.

    drej, 2025-08 · Recommendation · in “A parser for TypeScript types, written in TypeScript types”

Excerpts from Hacker News comments, linked to the originals. Summaries and labels were written by a language model from those comments.

Topics: typescript, doom, type-level programming, turing complete, wasm

Also recommended by the same people