Difference between revisions of "Language Roadmap"
(→Road map to ISO/ECMA Eiffel) |
|||
| Line 1: | Line 1: | ||
| + | (Page under construction.) | ||
| + | |||
= Road map to ISO/ECMA Eiffel = | = Road map to ISO/ECMA Eiffel = | ||
[[Category:Releases]]__NOTOC__ | [[Category:Releases]]__NOTOC__ | ||
| Line 6: | Line 8: | ||
The text can be found, among other places, at [http://www.ecma-international.org/publications/standards/Ecma-367.htm this location] on the ECMA site. | The text can be found, among other places, at [http://www.ecma-international.org/publications/standards/Ecma-367.htm this location] on the ECMA site. | ||
| − | While for a large part ECMA/ISO Eiffel | + | While ECMA/ISO Eiffel for a large part consolidates the current language as implemented by Eiffel compilers, a number of innovative aspects have preceded actual releases of the environment, and some are not implemented yet. '''Eiffel Software is committed to implementing the full ECMA/ISO Eiffel specification'''. Each successive release of the compiler brings the implementation closer to that goal. This effort started several years before the completion of the ECMA standard, with the experimental introduction of language revisions as they were being refined by the committee. |
| + | |||
| + | The following sections present the plan for integration of all novelties, both in past versions and in future ones. The future part is for informative purposes only and subject to revision as the implementation work progresses. | ||
| + | |||
| + | ==PAST RELEASES== | ||
| + | == x.y (date)== | ||
| + | Precursor mechanism | ||
| + | |||
| + | ==FUTURE RELEASES== | ||
| + | ==6.0 (June 2007)== | ||
| + | *"Flat" class checking: type checking of features performed in every class, even for inherited features. (For example x := y in a routine r could be valid in a class C, but in a descendant of C that redefines the type of x or y it might become invalid. The type policy of ECMA/ISO Eiffel explicitly specifies that every feature must be valid in every class that has it.) | ||
Revision as of 09:28, 10 April 2007
(Page under construction.)
Road map to ISO/ECMA Eiffel
The Eiffel language is described by an international standard, ECMA standard 367, Eiffel: Analysis, Design and Programming Language. The first version was published in June of 2005; the current revision (revision 2) is from June, 2006. In November 2006 this standard was adopted by the International Standards Organization (ISO). The text of the ISO standard is identical to the text of the ECMA standard except for a few differences in front matter and typography. "ECMA/ISO Eiffel" denotes here the language defined by these standards.
The text can be found, among other places, at this location on the ECMA site.
While ECMA/ISO Eiffel for a large part consolidates the current language as implemented by Eiffel compilers, a number of innovative aspects have preceded actual releases of the environment, and some are not implemented yet. Eiffel Software is committed to implementing the full ECMA/ISO Eiffel specification. Each successive release of the compiler brings the implementation closer to that goal. This effort started several years before the completion of the ECMA standard, with the experimental introduction of language revisions as they were being refined by the committee.
The following sections present the plan for integration of all novelties, both in past versions and in future ones. The future part is for informative purposes only and subject to revision as the implementation work progresses.
PAST RELEASES
x.y (date)
Precursor mechanism
FUTURE RELEASES
6.0 (June 2007)
- "Flat" class checking: type checking of features performed in every class, even for inherited features. (For example x := y in a routine r could be valid in a class C, but in a descendant of C that redefines the type of x or y it might become invalid. The type policy of ECMA/ISO Eiffel explicitly specifies that every feature must be valid in every class that has it.)
