Discussions - comp.lang.eiffel

	Will Bertrand Meyer ever release his ETL3 book?
	I looked there recently and the last comments are from 2006. Maybe he can put his PDF under some open license and we can use this book to learn/talk more about eiffel. By llothar - Nov 15 - 4 new of 4 messages

	String reverse
	LS, when I was testing a piece of code, I tried to use the reverse- procedure which is described in the string class interface. This small sample code will not compile, saying that reverse is an unknown identifier. Is my code wrong, or is the error on the compiler side? class ROOT_CLASS creation make... more » By Pelle - Nov 12 - 10 new of 10 messages

	The Eiffel Compiler tecomp version 0.20 released.
	doc: [link] download: [link] == Bugfixes and improvements == - All type combinations in equality test ("=" and "~") shall now work properly. - Deep features now work for all types without any exceptions. - The garbage collector has been reworked completely. Before,... more » By Helmut - Nov 6 - 1 new of 1 message

Racism as a phenomenon

Pienipäistä moraalia, suuret toleranssit. Jälleen kerran asiaa, jota maassamme tuskin kourallinen edes tietää. OL-3 työmaan mokailut on jo alansa klassikoita. Mutta jopa siinä ilmapiirissä tämä hakee kyllä vertaistaan minusta. Ydinvoimalan suunnittelu oli enemmän kuin hakusessa jo startista asti ja se meinaan näkyy. Ja siksi TVO on... more »

By Kyösti Koskela - Sep 11 - 1 new of 1 message

	The Eiffel Compiler tecomp version 0.19 has been released
	It basically contains bugfixes. For details see docu: [link] -> tecomp -> history download: [link] By Helmut - Sep 10 - 1 new of 1 message

	Exception postcondition?
	Hi, In Eiffel, a postcondition describes what a routine guarantees if it terminates normally. Is there a similar clause which can describe the guarantees when an exception is thrown? By Michiel Helvensteijn - Aug 26 - 3 new of 3 messages

Proof of contract correctness

Hi, I was wondering, are there currently any tools/compilers that attempt to statically (not at runtime) prove the correctness of function contracts (using, for example, Hoare logic / VDM)? I'm doing research in that direction and I would like to know the state of the art in this area. The Eiffel newsgroup seemed like a good place to ask.... more »

By Michiel - Aug 19 - 5 new of 5 messages

	Generating dll with SmartEiffel or Gobo compiler
	Hello! The creation question dll with use of compilers SmartEiffel or Gobo very interests. The option shared_library_definition in ace file does not work - SmartEiffel say "Invalid ACE file". How correctly to specify this option in xace file for gobo, I have not understood. By Владислав Бугаев - Jul 28 - 4 new of 4 messages

Alternatives to C: ObjectPascal, Eiffel, Ada or Modula-3?

Hi folks! I'm a CS student and I often need to write number-crunching code dealing with combinatorial optimization problems. What I do usually is implementing ad-hoc algorithms and testing their performance against other previously-known solutions, including general solvers. In the past I used C, but now I have decided to change language.... more »

By Andrea Taverna - Jul 18 - 149 new of 149 messages

Noob question: polymorphic CAT calls in practice

Hi folks, I'm currently looking for a statically-typed OO language with open- source support and I'm weighing up Eiffel. I think Eiffell suits nicely, if not perfectly, my needs, however I'm not comfortable with the CAT call issue. I think I've understood the theory behind it, after having read the relevant OOSC chapter and the Recast article; my doubts regard its... more »

By Andrea Taverna - Jul 4 - 4 new of 4 messages