ECMA

From Liberty Eiffel Wiki
Jump to navigation Jump to search

In ECMA-367 the ECMA committee TC39-TG4 defines an Eiffel standard. Liberty is not committed to fully implement this standard, but there will be much more of the improvements as in SmartEiffel. Liberty will implement those parts of ECMA that match the effective, efficient and simple design of previous versions of Eiffel. The parts requiring an extensive run-time model will not be currently implemented; those that needlessly complicates the language to comply to widespread programming conventions will be evaluated case-by-case

These ECMA features are already implemented:

With small deviations:

  • Non-conforming inheritance (insert instead of inherit {NONE}) see Typing policy
  • Assigners with the following deviations:
    • VFAC is not enforced (let the standard rules of the replacing procedure call play instead)
    • assigners are inherited with proper renames (ECMA does not explicit the rules in either way)

These features are planned:

These ECMA features are not planned in Liberty:

  • No-variant agent arguments.

These features are not in ECMA but implemented in Liberty:

Not yet decided:

  • Bracket indexing
  • TYPE[G] and explicit conversion

See also Compatibility.