ECMA - Revision history

Hzwakenberg at 18:54, 22 July 2022

2022-07-22T18:54:48Z

← Older revision		Revision as of 20:54, 22 July 2022
Line 1:		Line 1:
−	In [http://www.ecma-international.org/publications/files/ECMA-ST/ECMA-367.pdf ECMA-367] the ECMA committee TC39-TG4 defines an Eiffel standard. Liberty is not committed to fully implement this standard, but it ~~will~~ ~~adopt many~~ more of the improvements than its predecessor did at the time. 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 complicate the language to comply to widespread programming conventions will be evaluated case-by-case.	+	In [http://www.ecma-international.org/publications/files/ECMA-ST/ECMA-367.pdf ECMA-367] the ECMA committee TC39-TG4 defines an Eiffel standard. Liberty is not committed to fully implement this standard, but it already supports more of the ECMA-improvements than its predecessor did at the time. 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 complicate the language to comply to widespread programming conventions will be evaluated case-by-case.

	==Liberty Eiffel offers these ECMA features already:==		==Liberty Eiffel offers these ECMA features already:==

Hzwakenberg at 13:02, 9 September 2018

2018-09-09T13:02:36Z

← Older revision		Revision as of 15:02, 9 September 2018
Line 1:		Line 1:
−	In [http://www.ecma-international.org/publications/files/ECMA-ST/ECMA-367.pdf ECMA-367] the ECMA committee TC39-TG4 defines an Eiffel standard. Liberty is not committed to fully implement this standard, but it will adopt many more of the improvements than ~~SmartEiffel~~ did at the time. 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 complicate the language to comply to widespread programming conventions will be evaluated case-by-case.	+	In [http://www.ecma-international.org/publications/files/ECMA-ST/ECMA-367.pdf ECMA-367] the ECMA committee TC39-TG4 defines an Eiffel standard. Liberty is not committed to fully implement this standard, but it will adopt many more of the improvements than its predecessor did at the time. 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 complicate the language to comply to widespread programming conventions will be evaluated case-by-case.

	==Liberty Eiffel offers these ECMA features already:==		==Liberty Eiffel offers these ECMA features already:==

Ramack: add is_equal comment

2018-09-07T18:50:24Z

add is_equal comment

← Older revision		Revision as of 20:50, 7 September 2018
Line 40:		Line 40:
	==Not yet decided:==		==Not yet decided:==
	* <code><nowiki>TYPE[G]</nowiki></code> and explicit conversion		* <code><nowiki>TYPE[G]</nowiki></code> and explicit conversion
		+	* postcondition of is_equal: same_type: Result implies same_type(other)
		+	** this essentially forbids any equal objects with different types and is inconsistent to the current implementation in Liberty. It has some nice background (e. g. symmetry is not easy to guarantee without that), but we also do not want to brake existing code

	See also [[Compatibility]].		See also [[Compatibility]].

Dkearns: s/LibertyEiffel/Liberty Eiffel/

2016-06-09T16:43:41Z

s/LibertyEiffel/Liberty Eiffel/

← Older revision		Revision as of 18:43, 9 June 2016
Line 1:		Line 1:
	In [http://www.ecma-international.org/publications/files/ECMA-ST/ECMA-367.pdf ECMA-367] the ECMA committee TC39-TG4 defines an Eiffel standard. Liberty is not committed to fully implement this standard, but it will adopt many more of the improvements than SmartEiffel did at the time. 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 complicate the language to comply to widespread programming conventions will be evaluated case-by-case.		In [http://www.ecma-international.org/publications/files/ECMA-ST/ECMA-367.pdf ECMA-367] the ECMA committee TC39-TG4 defines an Eiffel standard. Liberty is not committed to fully implement this standard, but it will adopt many more of the improvements than SmartEiffel did at the time. 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 complicate the language to comply to widespread programming conventions will be evaluated case-by-case.

−	==~~LibertyEiffel~~ offers these ECMA features already:==	+	==Liberty Eiffel offers these ECMA features already:==
	* '''attribute''' keyword may be used to define an attribute including self-initialization with contracts checking.		* '''attribute''' keyword may be used to define an attribute including self-initialization with contracts checking.

Hzwakenberg at 18:08, 30 May 2016

2016-05-30T18:08:25Z

← Older revision		Revision as of 20:08, 30 May 2016
Line 1:		Line 1:
−	In [http://www.ecma-international.org/publications/files/ECMA-ST/ECMA-367.pdf ECMA-367] the ECMA committee TC39-TG4 defines an Eiffel standard. Liberty is not committed to fully implement this standard, but it will adopt many more of the improvements than SmartEiffel did at the time. 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.	+	In [http://www.ecma-international.org/publications/files/ECMA-ST/ECMA-367.pdf ECMA-367] the ECMA committee TC39-TG4 defines an Eiffel standard. Liberty is not committed to fully implement this standard, but it will adopt many more of the improvements than SmartEiffel did at the time. 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 complicate the language to comply to widespread programming conventions will be evaluated case-by-case.

	==LibertyEiffel offers these ECMA features already:==		==LibertyEiffel offers these ECMA features already:==

Hzwakenberg at 18:04, 30 May 2016

2016-05-30T18:04:16Z

← Older revision		Revision as of 20:04, 30 May 2016
Line 1:		Line 1:
−	In [http://www.ecma-international.org/publications/files/ECMA-ST/ECMA-367.pdf 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.	+	In [http://www.ecma-international.org/publications/files/ECMA-ST/ECMA-367.pdf ECMA-367] the ECMA committee TC39-TG4 defines an Eiffel standard. Liberty is not committed to fully implement this standard, but it will adopt many more of the improvements than SmartEiffel did at the time. 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.

	==LibertyEiffel offers these ECMA features already:==		==LibertyEiffel offers these ECMA features already:==

Hzwakenberg: /* LibertyEiffel offers these ECMA features already: */

2016-03-08T13:07:46Z

LibertyEiffel offers these ECMA features already:

← Older revision		Revision as of 15:07, 8 March 2016
Line 7:		Line 7:
	* Non-conforming inheritance (but using '''insert''' instead of '''inherit {NONE}'''); see [[Typing policy]]		* Non-conforming inheritance (but using '''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:
−	** VFAC is not enforced (let the standard rules of the replacing procedure call play instead)	+	** VFAC (ECMA §8.5.22) is not enforced (let the standard rules of the replacing procedure call play instead)
	** assigners are inherited with proper renames (ECMA does not explicitly specify the rules either way)		** assigners are inherited with proper renames (ECMA does not explicitly specify the rules either way)
	* [[task:12666\|Cosmetic syntax changes]]:		* [[task:12666\|Cosmetic syntax changes]]:

Ramack: /* LibertyEiffel offers these ECMA features already: */

2014-09-20T22:26:05Z

LibertyEiffel offers these ECMA features already:

← Older revision		Revision as of 00:26, 21 September 2014
Line 2:		Line 2:

	==LibertyEiffel offers these ECMA features already:==		==LibertyEiffel offers these ECMA features already:==
−	* '''attribute''' keyword may be used to define an attribute including ~~contracts,~~ ~~which~~ ~~are checked on attribute~~ ~~access~~.	+	* '''attribute''' keyword may be used to define an attribute including self-initialization with contracts checking.

	With small deviations:		With small deviations:

Ramack: added "attribute"

2014-09-20T21:22:42Z

added "attribute"

← Older revision		Revision as of 23:22, 20 September 2014
Line 2:		Line 2:

	==LibertyEiffel offers these ECMA features already:==		==LibertyEiffel offers these ECMA features already:==
		+	* '''attribute''' keyword may be used to define an attribute including contracts, which are checked on attribute access.

	With small deviations:		With small deviations:

Hzwakenberg: /* These ISE features are also implemented: */

2014-09-11T21:08:20Z

These ISE features are also implemented:

← Older revision		Revision as of 23:08, 11 September 2014
Line 17:		Line 17:
	==These ISE features are also implemented:==		==These ISE features are also implemented:==

−	[[task:13103\|~~Those~~ features]] are not (yet) in the ECMA standard:	+	[[task:13103\|These features]] are not (yet) in the ECMA standard:
	* the newer '''alias "()"'''		* the newer '''alias "()"'''
	* its companion implicit tuples		* its companion implicit tuples