The TypeScript compiler is built in TypeScript, which means there's a reasonable chance you already have the technical know-how to contribute and understand it. In this talk, Orta gives a high-level overview of how the TypeScript compiler is architectured, and what the key abstractions are in type checking your source code.