What IE does with the window.location.replace method is to add it on top of the browser history stack, instead of just replacing the top element. That's not so bad.

This proposal aims to enable developers to add type annotations to their JavaScript code, allowing those annotations to be checked by a type checker that is external to JavaScript. At runtime, a ...