Kevin Atkinson wrote:
> Java is an evern cleaner language for OO as ....
questionable. Every *new* language should try to recycle the experience
gained from its predecessors. In the field of OO one thing springs to
my mind: The ability to extend/restrict the signature of a member function
in derived classes. Oh I can *do* it with Java by using composition but
I can't do it with *style*. By _style_ I mean not breaking/twisting the
big picture of my project; these changes of the signatures should be
accessible to the compiler (or some other tool) in such a way that
they are reflected theoretically sound in the type system.
Some people behind Eiffel were aware of these needs and tried to meet
them but Eiffel is long gone (not really gone - just not seen anymore).
ciao pfitzen
