A typed superset of JavaScript that compiles to plain JavaScript. Adds optional static typing, interfaces, and other features. Widely used in modern web development. (Ch. 16)