Microsoft is backing a proposal to bring optional and erasable type syntax to JavaScript, potentially making the company’s TypeScript language, which builds on JavaScript, faster and easier to use. The standards proposal calls for allowing type annotations to be added to JavaScript code that would be checked by type checkers external to JavaScript. At runtime,