The problem of JavaScript at scale
JavaScript was born as a scripting language for web pages, but by 2012 its role has changed radically. With Node.js on the server side and increasingly complex web applications on the client side, JavaScript codebases grow to hundreds of thousands of lines. At this scale, the absence of a type system becomes a concrete obstacle: errors that a compiler would catch immediately — a misspelled property name, a missing parameter, an incompatible type — surface only at runtime, often in production.
Anders Hejlsberg, creator of Turbo Pascal, Delphi and C#, designs TypeScript at Microsoft with a precise goal: adding a type system to JavaScript without breaking compatibility with the existing ecosystem.
A superset, not a new language
TypeScript is a superset of JavaScript: every valid JavaScript programme is also a valid TypeScript programme. This means adoption can be gradual — one can rename a .js file to .ts and start adding type annotations where needed, without rewriting existing code.
The tsc compiler transforms TypeScript code into standard JavaScript, compatible with any browser or runtime. Type annotations are removed during compilation: the output is pure JavaScript, with no runtime overhead. Type checking occurs entirely at compile time.
The type system
TypeScript introduces interfaces to describe the shape of objects, enums to define named sets of constants, and generics to write reusable code that preserves type safety. Type inference automatically deduces a variable’s type from its initial value, reducing the amount of explicit annotations needed.
Types can be optional: the any type disables type checking on a specific value, allowing progressive migration. Declaration files (.d.ts) describe the types of existing JavaScript libraries, enabling TypeScript to verify code that uses them without requiring the libraries themselves to be rewritten.
Development tooling
TypeScript’s real day-to-day advantage is the development experience. The type system powers autocompletion in editors, code navigation (go to definition, find references), safe refactoring (renaming a property updates every usage) and real-time error reporting. For teams managing large JavaScript applications, TypeScript transforms code maintenance from a risky exercise into a structured, verifiable process.
Link: typescriptlang.org