TypeScript je open-source programovací jazyk od společnosti Microsoft. Jedná se o nadstavbu jazyka JavaScript, rozšiřuje jej o statické typování, což umožňuje programátorům identifikovat a opravit chyby už v rané fázi vývoje. Je také kompatibilní s existujícím kódem psaným v JavaScriptu a je hojně využíván v moderních frameworcích a webových aplikacích.
Statická typová kontrola je jednou z nejvýznamnějších vlastností TypeScriptu. Vývojáři mohou definovat typy proměnných, parametrů funkcí, návratových kontrol funkcí a další, díky čemuž je možné odhalit chyby v kódu již při kompilaci, než je spuštěn. Tím se snižuje riziko chyb a zvyšuje se stabilita a spolehlivost aplikací.
Díky svému nadstavbovému charakteru je TypeScript plně kompatibilní s existujícím JavaScriptovým kódem a knihovnami, vývojáři tak mohou postupně přidávat typovou kontrolu do svých projektů.