Почему в пoпуляpных языкaх Pуthоn, РHР и JavaScriрt разрaботчики не сделают стaтическую типизaцию? Будет меньше oшибок

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

Юнит-тесты и прочие автоматические тесты нужны больше на перспективу.

Так же, как и нормальный синтаксис и хорошая структура самого кода. Все это упрощает работу с кодом, но исключить ошибки не может. С таким же успехом можно купить себе квартиру, чтобы не жить с токсичными родственниками, завести нормальную девушку, чтобы не было стресса, все это увеличит внимательность, и ошибок точно так же будет меньше. И, конечно же, работать только с адекватнейшими работодателями. Но в один прекрасный день тебя затопят соседи, ты намучаешься с ведрами и тазиками, и опять допустишь ошибку.

С Javascript давным-давно ее сделали. Получился Typescript

В PHP тоже давно уже есть директива declare(strict_types=1) и возможность задавать типы аргументов функции.

У JavaScript есть брат со статической типизацией - TypeScript.
Вот он только все равно компилируется в JavaScript.

Да и никто не мешает комментировать строки кода для самого себя же.
Объявил переменную, рядом написал комментарий с пояснением о типе переменной и ее значении.

В следующий раз разбираться будет куда проще в коде