скажем у нас нетипизированный код и получив очередной объект вы начинаете вилять и изголяться проверяя его тип путем поиска нужных пропертей и т.п. - это есть, ето всегда, это везде... это дополнительные накладки в рантайм
все эти проверки при использовании TypeScript остаются виртуальными... копмпилятор заботится об этом, он проверяет правила и т.п. код выходит чистым от этих проверок в рантайме