Apps / Type Witness

Type Witness

Watch the TypeScript compiler infer types, expression by expression.

Open Type Witness ↗ Want one like this?

What it does

Explains, step by step, how TypeScript works out the types in your code. Paste a snippet and it walks through each decision the compiler makes: why a value got a narrow or a wide type, what a generic function was filled in with, how a callback's parameters were inferred, and where a check narrowed a value. Errors appear right after the step where inference went wrong, and you can hover any expression to see its exact type. It uses the real compiler and runs in your browser, so nothing you paste is uploaded.

Good to know

The first visit is a large download, about 1 MB.

More for developers

ACR Draft

Write the accessibility report (VPAT) a university asks for before it buys your software: scans plus a guided review, exported to Word.

DevelopersSmall businesses Open ↗

Net Units

Measure how much code a change adds in syntax-level units instead of lines.

Developers Open ↗