а разве бывает слабая статическая типизация?

Это разные термины, "как я их понимаю"
Типизация классифицируется: статическая/динамическа (грубо говоря, может ли переменная менять свой тип во время выполнения программы)
Сильная/Слабая(aka Строгая/не строгая): тут нет точно определения, обычно характеризуется возможностями, строгостью и вообще наличием механизма приведения типов. Например, C++ типизирован СИЛЬНЕЕ, чем C, потому что там нельзя преобразовывать типы на ходу, а только с помощью специальной функции. (у нас в JS типы вообще преобразовываются как хотят, поэтому его принято называть СЛАБО типизированным)

что в общем-то в просторечии можно считать наличием или отсутствием типизации

C, C++, TypeScript, ActionScript

Там сверху кинули ссылку на сайт майкрософта, где написано что плюсы — сильно-типизированный язык, лол

вот тут правильный ответ на это https://t.me/beerjs/172121

Типизация бывает сильная\слабая и статическая\динамическая

ссылочку?