Re: Eiffel and Java

[donh@syd.csa.com.au (Don Harrison)]

Jon S Anthony writes:

:> type in the private section of the interface, for instance. That
:> makes the programmer repeat the same code in both interface and
:> implementation, whereas the interface is just a subset of the whole
:> code... 
:
:Well, this is just plain wrong too.  There is no repetition of the
:"same code in interface and body".  I write this stuff everyday and
:you are just plain in the weeds.

I think Vincent is referring to the fact that the signature of an operation
is repeated in interface and body in such languages (Ada, M3, Oberon ...).
This was also discussed (argued about) in the "Real OO" thread you allude
to below.

:> To deffer the implentation of a type, I prefer Eiffel's
:> deffered classes, that seem more elegant to me, and yet more
:> powerful (you can have several implementations for the same
:> interface).

Ada uses separate interface and implementation for information hiding.
It has a similar thing to deferred classes in 'abstract types'.

:Well you are again just plain wrong.  The two things solve different
:problems.  Go to dejanews and read an earlier thread abou all this
:stuff posted to c.l.a and comp.object and c.l.e.  It was around
:springtime with an obvious title.

Actually, it was Autumn. :) The title was 'Real OO'.


Don.
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
Don Harrison             donh@syd.csa.com.au