Re: ISO: The Eiffel OO programming language and IDE, on VMS

On Thu, 27 Mar 2025 18:37:37 -0400, John Reagan wrote:

I really like Eiffel. Actually one of the languages that influenced
the Extended Pascal standard was Eiffel. Of course, you can see how
well that crushed in the market. C++26's contracts finally gets to
something that Eiffel did from the beginning.

I thought Alphard (1970s I think, roughly contemporary with CLU from
Liskov et al) was the pioneer in explicitly inserting checked
preconditions and postconditions into the language.

I see Eiffel allows multiple inheritance
<https://www.eiffel.org/doc/eiffel/I2E-_Inheritance>, but I haven’t yet
found any details of the method resolution order. Python does C3
linearization (invented by the Dylan folks), but as I recall both C++ and
Eiffel date from before that was invented.