About this Directory

This ‘strawman’ namespace is intended to contain proposals for the “ES-Harmony” language that are not yet approved harmony proposals, and to clearly separate them from the legacy ES4 pages.

• concurrency or the TC39 committee’s response to threads suck (markm)
• Functions
  • name property of functions (brendan)
  • function to string – greater specification for problematic Function.prototype.toString (allen)
  • shallow continuations, a simple and general form for capturing a single function activation (dherman, brendan)
  • shorter function syntax, for defining and (or possibly only) expressing functions concisely (arv)
  • const functions (markm) now with a joining optimization
• lexical scope (dherman)
• modules
  • modules_primordials
  • modules_emaker_style
    • system, a place to put powerful objects provided by the embedding without having to introduce names into the global scope every time.
  • modules_packages
  • simple modules (with examples) and module_loaders (dave, samth)
  • (modules_harmonic, (ihab_awad) temporary placeholder)
• names (dherman)
• value types, for first-class number-like objects with operators and (we hope) literal syntax (brendan)
• Garbage collection
  • gc_semantics Thoughs on specifying the semantics of garbage collection. (markm)
  • weak references and post-mortem finalization. (markm)
  • proper tail calls (markm)
  • inherited explicit soft fields (markm)
• Collections
  • byte arrays, based on emerging webapi discussions and implementations
  • typed arrays, similar to the above byte arrays, as originally defined by webgl (arun)
  • encapsulated hashcodes (allen – see also weak maps)
  • simple maps and sets (markm)
  • egal (markm) an identity-testing operator inspired by Henry Baker’s egal. (Not itself a collection, but some collections will rely on it.)
• Loops, iteration, enumeration
  • iterators, for better collections, more usable for-in constructs, and proxy enumeration that scales (brendan, dherman)
  • enumeration, more fully-specified semantics for property enumeration in for-in loops (brendan, dherman)
  • array comprehensions, convenient, expressive syntax for creating eagerly-computed arrays (brendan, dherman)
  • generator expressions, convenient, expressive syntax for creating lazily-computed generators (brendan, dherman)
• random-er, or a better (cryptographically strong) random number generator (see Mozilla bug 322529)
• more Math fun, see Alistair Braidwood's message
• High Integrity Factories
  • classes (cormac? or move to deferred?)
  • classes as sugar (markm)
  • object initialiser extensions, for method (like get and set), freezing, and other common declarative forms (allen)
    • see destructuring for “record extension and row capture” via ... – this may need its own proposal page
    • also object initialiser shorthand, linked from object initialiser extensions too (brendan)
  • traits (tom)
  • trademarks (markm) Unforgeable nominal types, for certifying the integrity properties of the output of a high integrity factory.
• versioning, the full versioning of script tag content and whole-frame/window object model monty (brendan)
• quasis, quasi-literals provide DSL support for content generation and introspection (mikesamuel)
• ast, a parser built into conforming Harmony implementations which returns a standard abstract syntax tree (dherman)
• extended Object API, standardizing some “missing” ES5 methods on Object. (tomvc)
• Conditionals
  • catch guards, for conditionally catching exceptions
• Specification Techniques
  • specification language, using Harmony to describe Harmony.
  • Another alternative, translating the ES5 spec. into a JavaScript-based definitional interpreter es5definterp.js.txt
• Internationalization support
  • Unicode support, tools to aid in using Unicode.
  • i18n API, internationalization API (locales, sorting, formatting, parsing).

See the deferred proposals page.