"Например, яркими примерами слабой системы типов являются те, что лежат в основе языков Си и C++. Их характерными атрибутами являются понятия приведения типов и каламбуров типизации. Эти операции поддерживаются на уровне компилятора и часто вызываются неявно"

"Подобные ошибки выявляются ещё на этапе компиляции программы, тогда как при возможности неявного приведения практически любых типов друг к другу (как, например, в классическом языке Си) эти ошибки выявляются только при тестировании, причём не все и не сразу, что порой очень дорого обходится на этапе промышленной эксплуатации."

1) В Си слабая типизация как и в js.
Но можно переименованием расширения файла сделать typescript и получить строгую статическими типизацию.
2) В js базарные арифметикие операции не вызывают неопределенного проведения. В Си за 50 лет так и не решили проблему с переполненим в знаковых типах. Оно возможно при любой операции, но невозможно с точки зрения стандарта https://habr.com/ru/company/pvs-studio/blog/439502/
3) в js есть полноценные массивы, а не указатели на начало без размера (или почти без размера, С++ его где-то внутри все же хранит)
4) в js есть полноценные строки с размером, а не указатель на начало ненастоящего массива char, где чтобы узнать длинну нужно по всей строке пройти.