Почему в своё время стали так популярны нетипизированные языки (PHP, Python, ...)? Потому что компьютеры тогда были столь слабы, что если пишешь код на языке со статической типизаций и включённым тайпчекингом, то каждое сохранение файла может длиться десятки секунд. Это дико бесило :)

Поэтому в то время нетипизированные языки и тесты были основным инструментом разработки. Тесты в целом конечно работают медленнее, чем тайпчекинг, но запускаются они считанные разы, а файлы мы сохраняем постоянно.

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

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

В любом случае, каждому разработчику, который хочет стать Программистом с большой буквы, 💯 полезно поиграть в такие высокоинтеллектуальные игры, как система типов в F# (и в F*), мета-программирование на темплейтах плюсов, генерики TypeScript, боль и страдание Rust :) и т.п. Такой этап в карьере стратегически весьма важен.