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,39771953fe5b2343 X-Google-Attributes: gidfac41,public X-Google-Thread: 103376,39771953fe5b2343 X-Google-Attributes: gid103376,public From: rodemann@mathematik.uni-ulm.de (Joerg Rodemann) Subject: Re: Enforcing assertions in Eiffel Date: 1997/10/01 Message-ID: <34321aca.0@news.uni-ulm.de>#1/1 X-Deja-AN: 276976646 Distribution: world References: <341EABAB.41C67EA6@eiffel.com> <341fddde.0@news.uni-ulm.de> <34201D40.CF490EC0@munich.netsurf.de> <342fc4bc.0@news.uni-ulm.de> <60si0r$kef@peg.apc.org> Followup-To: comp.lang.eiffel,comp.lang.ada Organization: University of Ulm, SAI, Germany Newsgroups: comp.lang.eiffel,comp.lang.ada Date: 1997-10-01T00:00:00+00:00 List-Id: Morgan Palaeo Associates (morganpalaeo@peg.apc.org) wrote: > rodemann@mathematik.uni-ulm.de (Joerg Rodemann) wrote: > ^ > | But on the other hand please do not just continue those long > | threads about spec/impl and assertions. > v > Personally, I think the debates have been very constructive - I've long been > interested in language philosophy; why languages are designed the way they > are; and reading the Ada/Eiffel debates has inspired me to think through my > own opinions. Usually I conclude that the ideal is an imaginary language > somewhere between Ada and Eiffel. Many thanks to everyone who has > participated > in the debates to help make comp.lang.ada an exciting place to visit!! It seems I have to clarify my statement. I too found those threads quite interesting. But in the end I noticed at least a lot of repetition of arguments. From this point of view (as I wrote one line above of the quoted lines), my statement was just a reminder to check whether these arguments had already been mentioned. Regards Joerg -- rodemann@mathematik.uni-ulm.de | Dipl.-Phys. Joerg S. Rodemann Phone: ++49-(0)711-5090670 | Flurstrasse 21, D-70372 Stuttgart, Germany -------------------------------+--------------------------------------------- rodemann@rus.uni-stuttgart.de | University of Stuttgart, Computing Center Phone: ++49-(0)711-685-5815 | Visualization Department, Office: 0.304 Fax: ++49-(0)711-678-7626 | Allmandring 30a, D-70550 Stuttgart, Germany