>>6
I already knew that, you unemployable leech.
All that you are doing is offloading to the runtime something which can be done at great lengths at compile time, and by using a separate static analyzer you are getting but a subset of what the type checker of a language with a proper type system would do. Because the type systems in those languages were done by the likes of Guido van Rossum, who should have focused his contributions in the fast-food industry.
Now go, maybe Walmart is still open for you to plead for a position. Or maybe there's a comic book store at your local mall where you could watch your cartoons all day and not get fired.
I'll leave it up to you.