Конкретный пример - взял Luxon https://github.com/moment/luxon - супер-популярная библиотека работы с датами и временем на чистом JS - переписал на TypeScript.

Нашёл несколько десятков ошибок во время добавления типов.

https://github.com/breeffy/timely/pull/4 - +2,233 −1,231 строк изменилось.

Ни разу не запускал тесты, но на 99% уверен что ошибок будет мало.

Теперь взял чистый С - написал несколько строчек кода открытия и создания файла - 40 минут внимательно читал документацию по open, чтобы правильно его вызвать (до конца не понял). Ошибка на ошибке, одни флаги O_CREAT | O_DIRECTORY можно, другие O_RDONLY | O_WRONLY нельзя.

Вчитываться надо в каждое слово (!) и то сложно понять. Где-то в дeбрях документации про  https://en.wikipedia.org/wiki/Time-of-check_to_time-of-use.

С++ также и хуже - чтобы писать корректный код нужно вчитываться в cppreference. Но я всё равно до конца не понимаю все варианты перезагрузок - что, где, когда, зачем. Куча исключений и описаний - ни до конца понять, ни запомнить это просто невозможно.

Написать корректный код практически невозможно (заваливать баблом, тестами, санитайзерами). На это фоне JavaScript (+TypeScript) просто блестит как яркая вкусная сладкая конфетка.

TypeScript ЗАСТАВЛЯЕТ писать корректный код. Его система типов настолько крута, насколько это возможно для динамического языка.

Например в Java есть NullPointerException, в TypeScript нет - т.к. null это отдельный тип (и его в коде нужно обрабатывать).