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