Difference between revisions of "ECMA"

From Liberty Eiffel Wiki
Jump to navigation Jump to search
(using interwiki links)
Line 2: Line 2:
   
 
==These ECMA features are already implemented:==
 
==These ECMA features are already implemented:==
* Non-conforming inheritance (although the notation is different)
 
   
==These ECMA features are already implemented with small deviations:==
+
With small deviations:
 
* Non-conforming inheritance ('''insert''' instead of '''inherit {NONE}''') see [[Typing policy]]
 
* Non-conforming inheritance ('''insert''' instead of '''inherit {NONE}''') see [[Typing policy]]
 
* [https://github.com/LibertyEiffel/Liberty/issues/78 Assigners] with the following deviations:
 
* [https://github.com/LibertyEiffel/Liberty/issues/78 Assigners] with the following deviations:
Line 23: Line 22:
 
==These features are not in ECMA but implemented in Liberty:==
 
==These features are not in ECMA but implemented in Liberty:==
 
* inline agents are closures ([https://github.com/LibertyEiffel/Liberty/issues/55 planned])
 
* inline agents are closures ([https://github.com/LibertyEiffel/Liberty/issues/55 planned])
  +
* explicit agent conformance rules (see [http://www.jot.fm/issues/issue_2004_04/article7/ this JOT paper])
   
 
==Not yet decided:==
 
==Not yet decided:==

Revision as of 13:56, 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

See also Compatibility.