Hopefully some javascript engine maker will open up their engines to either accept javascript or the statically-typed IL that the js gets compiled into. Then someone can write some statically-typed javascript-like language for us to use. Maybe, as a first step, allow some inline-IL in the javascript code?