[mgaunard]

It breaks the whole point of typing being dynamic to begin with.

You don't build static typing on top of dynamic typing; it's silly. You do it the other way around.

If you're going to be outside of the browser, just use Python, which is not only somewhat similar but also the world's most popular programming language.