Linked by Thom Holwerda on Sat 26th Nov 2005 17:02 UTC, submitted by Megatux
Gnome "I followed the debate about a successor for the C/C++ combination as the primary language for developing the GNOME core desktop platform very closely last month. There has been discussion about a number of options. What I would like to do on this page is give an overview how a probably less well-known language might be a viable compromise as a C/C++ successor. This language is called Eiffel and exists for over a decade. Eiffel takes the principle of Object-Oriented programming to its extremes and, as a consequence, is a very easy to learn language."
Thread beginning with comment 65129
To view parent comment, click here.
To read all comments associated with this story, please click here.
jayson.knight
Member since:
2005-07-06

But if it does what it promises (and I'm not an Eiffel expert so who knows) by reducing the number of bugs, wouldn't you *want* to do something like that? A few extra LOC for less bugs is well worth it IMO.

From the DBC wiki:

"The contract conditions should never be violated in program execution: thus, they can be either left in as debugging code, or removed from the code altogether for performance reasons."

I wonder if the Eiffel compiler has a "release" mode configuration (either built in or configurable via switches) that strips out the DBC code after testing is complete...i.e. I would never ship production code with unit tests compiled in as well (for obvious perf reasons), though in a "debug" release the unit tests would be left in the code.

Reply Parent Score: 1

ma_d Member since:
2005-06-29

They look a lot like exceptions. That's what I keep thinking. And exceptions look a lot like proper c functions which always return a state not a piece of data (although exceptions have an advantage, if function A doesn't catch it, and function B which called A does you're ok). I'm not gonna mention what that looks like in asm, I'm not that experienced with asm.

Reply Parent Score: 1

piquadrat Member since:
2005-11-26

I wonder if the Eiffel compiler has a "release" mode configuration (either built in or configurable via switches) that strips out the DBC code after testing is complete...

Yes, that's possible with a single click. I think it's called "Freeze" in EiffelStudio. I don't know if SmartEiffel supports it, though.

Reply Parent Score: 1