Static typing (and especially type inference) is useless in a web scripting language. Every time you load a new script, you would have to re-compile all the previously loaded scripts as a unit, and in the worst case throw away all existing state (pretty much equivalent to reloading the page).