Type based programming does not quite work in weakly typed languages.
There are many legitimate uses for scripting languages. It would be impossible and undesirable to get rid of them.
And even there I am most likely to use a ML derivative language than Perl, Python or something else.
Oh, I was so disappointed when I realised that those aren't considered distinct types. That ruins half the use of typedef.
I rather use the Algol and ML family of languages, when given the option.