From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: fac41,f66d11aeda114c52 X-Google-Attributes: gidfac41,public X-Google-Thread: 103376,f66d11aeda114c52 X-Google-Attributes: gid103376,public From: Brian Rogoff Subject: Re: Building blocks (Was: Design By Contract) Date: 1997/09/08 Message-ID: #1/1 X-Deja-AN: 270889869 References: <5ulurp$aj8$1@miranda.gmrc.gecm.com> <5un58u$9ih$1@gonzo.sun3.iaf.nl> <5v0bph$n98$2@miranda.gmrc.gecm.com> Newsgroups: comp.lang.ada,comp.lang.eiffel Date: 1997-09-08T00:00:00+00:00 List-Id: On 8 Sep 1997, Paul Johnson wrote: > Please don't judge a language feature (*any* feature) by its implementation > in C++. The language is a bodge. If you read comp.lang.ada, you might learn that some people find certain aspects of C++ interesting, perhaps even worthy of being considered for inclusion in a future Ada :-). I suggest that you abandon your programming language religion when posting to multiple children of comp.lang. > Take a look at Eiffel instead. I have. And I used Sather for quite a while too. I find Ada superior to both, though I confess that I find Sather iterators extremely elegant and more importantly I wish garbage collection was the "default" for Ada. I think the module-type conflation is really confusion, and that OO is not the uber-paradigm which subsumes all others. > And if you do it in C++ I'd agree with you. However in Eiffel you will > find that MI, templates and exceptions all fit together in a unified > whole. In fact the Eiffel exception mechanism is superior to the Ada one > because it is built on a theoretical model of software engineering. I find it rather funny that in one post you say you don't use Ada, and can't understand the idioms for doing MI in Ada, but somehow you just "know" that it is a fact that the Eiffel exception mechanism is superior to Ada's. Ada exceptions can do everything Eiffel's can and more. (And before that "goto" vs "structured" analogy gets going, I find the extra power useful). Eiffel's inheritance is based on a theoretical model which later turned out to be unsafe. A (theoretical) fix was proposed, and never implemented. And now we have another theoretical fix. So much for Eiffel theoretical models! :-) -- Brian