Re: Ada / C++ comparison paper

["Hyman Rosen" <hyrosen@mail.com>]

"martin.m.dowie" <martin.m.dowie@ntlworld.com> wrote in message
news:P2ET7.25032$4e3.3277598@news6-win.server.ntlworld.com...
> "Ed Falis" <efalis@mediaone.net> wrote in message
> news:3C1E941C.5010402@mediaone.net...
> > Marin David Condic wrote:
> >
> > Course, if you want to pick up a real C++ slammer, try Objects
> > Unencapsulated by Ian Joyner.  I guarantee that whatever Ed wrote will
> > be completely eclipsed. ;-)
>
> Just in case anyone hasn't read that paper, here's a link
>
> http://www.elj.com/cppcv3/
>
> (it is one of the most thought out papers I've come across)

I was immediately drawn to section 3.2, where the author argues
for whole-program type analysis. In a world of dynamic libraries
and run-time code module loading, this is a futile hope. The author
is an Eiffel advocate, and the need for whole-program analysis is
entirely because of Eiffel's misbegotten feature of allowing a derived
class to inherit its parents' methods but to restrict the parameter
types, so that the child is not substitutable for its parent.

Eiffel is less used than Ada, so I suppose the flop sweat is greater.
Anyway, as this is neither a C++ nor an Eiffel group, I will refrain
from further criticism of this paper.