The superset of JavaScript that adds static types to the language. It helps developers catch errors early through type checking and improves code quality and maintainability.