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=-0.5 required=5.0 tests=BAYES_00,INVALID_MSGID, PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII X-Google-Thread: 103376,6960ceaa57428e2f X-Google-Attributes: gid103376,public From: "Jean-Pierre Rosen" Subject: Re: Another important feature of Ada Date: 2000/11/17 Message-ID: <8v5dkm$ftt$1@wanadoo.fr>#1/1 X-Deja-AN: 695029454 References: <3A12041B.BCFD8CA0@worldnet.att.net> <8uu6tf$63d$1@nnrp1.deja.com> <3A12BBC6.E3FDAB0F@averstar.com> X-Priority: 3 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4133.2400 X-Complaints-To: abuse@wanadoo.fr X-Trace: wanadoo.fr 974535126 16317 193.249.1.162 (18 Nov 2000 08:12:06 GMT) Organization: Wanadoo, l'internet avec France Telecom X-MSMail-Priority: Normal NNTP-Posting-Date: 18 Nov 2000 08:12:06 GMT Newsgroups: comp.lang.ada Date: 2000-11-18T08:12:06+00:00 List-Id: "Ed Falis" a �crit dans le message news: PM000376263FFF6F15@Dogen.ne.mediaone.net... > In the end, it strikes me as a wash, since I can do more or less the > same in Ada as Eiffel DbC using asserts and (in the case of gnat, pragma > debug to provide inherited contracts and overrides). The Eiffel DbC > capabilities take less work to accomplish the same end. The Eiffel > ability to present only the interface in the IDE is less work than > separately writing specs and bodies. And fully deferred classes handle > the pragmatic need for control of interfaces separate from > implementations by different stakeholders. Both languages accomplish > similar goals, and it seems a matter of taste as to which to prefer. > These languages have more in common than most. > The importance of separating specs from bodies is *not* the ability to view them separatly, which can be accomplished with a tool as you note. It is the ability to compile the spec, and compile users of the spec before even thinking about the implementation. Therefore you can check the spec, and check that the spec matches the needs without being influenced by implementation constraints (which often leads to over-specification). -- --------------------------------------------------------- J-P. Rosen (Rosen.Adalog@wanadoo.fr) Visit Adalog's web site at http://pro.wanadoo.fr/adalog