TypeScript est un langage basé sur JavaScript (on parle de superset) c'est-à-dire que le code TS sera ensuite compilé en JavaScript.
Il a été créé dans le but d'ajouter des fonctionnalités, notamment au niveau des types (plus de typage = moins d'erreur, car ce langage est plus strict).
TS peut donner des types précis aux variables, paramètres, classes, et cætera. D'où son nom, restreindre le champ des possibles, donc, des erreurs possibles.