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