For example, using closures along with higher-order functions used to be the only way we could have “private” or tamper-proof variables in JavaScript: ...

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 ...