TypeScript is a strongly-typed, open-source programming language developed by Microsoft that builds on JavaScript by adding optional static types and modern language features. It compiles down to plain JavaScript, making it compatible with any browser, runtime, or JavaScript framework.
TypeScript is a superset of JavaScript, meaning any valid JavaScript code is also valid TypeScript. It introduces a type system that lets you declare the shape and kind of your data — such as strings, numbers, objects, or custom interfaces — at development time. This transforms JavaScript from a dynamically-typed language into one where type information is verified before code ever runs.
Static typing catches entire classes of bugs — like passing a string where a number is expected — during compilation rather than at runtime. This dramatically improves code reliability, especially in large codebases or teams. IDEs like VS Code use TypeScript's type information to provide intelligent autocompletion, inline documentation, and safe refactoring tools, boosting developer productivity significantly.
TypeScript source files use the .ts (or .tsx for JSX) extension and are processed by the TypeScript compiler (tsc), which performs type checking and then emits plain JavaScript. You configure the compiler's behavior — such as which JavaScript version to target — via a tsconfig.json file. Because the output is standard JavaScript, TypeScript itself adds zero runtime overhead; all type information is erased after compilation.
Beyond basic types, TypeScript offers interfaces and type aliases to describe object shapes, generics to write reusable type-safe components, enums, union and intersection types, and utility types like Partial<T> and Readonly<T>. It also supports modern JavaScript features such as async/await, decorators, and optional chaining, transpiling them to older JavaScript targets when needed. Type inference means TypeScript can often determine types automatically without explicit annotations, keeping code concise.
TypeScript includes an escape hatch called the any type, which disables type checking for a value and effectively reverts it to dynamic JavaScript behavior. Overusing any — or using type assertions with the as keyword carelessly — can silently undermine the safety guarantees TypeScript provides. A best practice is to enable the strict mode flag in tsconfig.json ("strict": true), which activates a set of stricter checks including noImplicitAny, ensuring you cannot accidentally opt out of the type system without being explicit about it.
© RM Full Stack & AI Engineer · All guides · Roadmaps · Open the app