I strongly disagree. Static types are a huge success. The problem here is essentially that they named things badly.