Kurz erklärt
Eine von Microsoft entwickelte Obermenge von JavaScript, die statische Typisierung hinzufügt.
Genauer
Wird zu normalem JavaScript kompiliert ("transpiliert"), läuft also überall dort, wo JS läuft. Der Compiler prüft vor der Ausführung, ob Typen zusammenpassen (z. B. ob eine Funktion mit den richtigen Parametertypen aufgerufen wird), was viele Fehler schon während der Entwicklung statt erst zur Laufzeit auffängt.