Хотя есть некоторые вещи, которые TS помогает отследить.
Например, простой код на js
const anchor = document.querySelector ('.class');
const href = anchor.href
Вроде все просто. Но ts сразу начнет возражать, что anchor может быть null. И волей неволей либо поставишь проверку, либо поклянешься, что null тут не будет. Либо поставишь проверку, что это должен быть элемент <a>, либо убедишь ts (приведением типа), что это обязан быть элемент <a>