Difference between revisions of "ECMA"

From Liberty Eiffel Wiki
Jump to: navigation, search
(Not yet decided:)
Line 26: Line 26:
 
==Not yet decided:==
 
==Not yet decided:==
 
* Bracket indexing
 
* Bracket indexing
  +
* <code><nowiki>TYPE[G]</nowiki></code> and explicit conversion
   
 
See also [[Compatibility]].
 
See also [[Compatibility]].

Revision as of 15:08, 29 May 2013

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.