JavaScript:JS3 Requirements

• Standardized hybrid information flow security model
• AST binary syntax as over-the-wire standard (self-verifying? implicit flows?)
• AST reflection
• Quotations
• Hygienic macros
• Safe, scalable concurrency
• "E5X"
  • E4X's query and path operators rationalized for all types
  • XDuce or similar extensions to the JS2/ES4 type system
• Changes to the core language, in particular to error handling rules, to make it easier to add new syntax in future versions of the language (JS n, where n > 3) without scripts using those languages breaking in earlier browsers (JS 3..n-1).