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,2c6139ce13be9980 X-Google-Attributes: gidfac41,public X-Google-Thread: 103376,3d3f20d31be1c33a X-Google-Attributes: gid103376,public X-Google-Thread: 1108a1,2c6139ce13be9980 X-Google-Attributes: gid1108a1,public X-Google-Thread: f43e6,2c6139ce13be9980 X-Google-Attributes: gidf43e6,public From: rodemann@mathematik.uni-ulm.de (Joerg Rodemann) Subject: Re: Interface/Implementation (was Re: Design by Contract) Date: 1997/09/04 Message-ID: <340e8397.0@news.uni-ulm.de>#1/1 X-Deja-AN: 269853227 References: <340C85CE.6F42@link.com> Followup-To: comp.object,comp.software-eng,comp.lang.ada,comp.lang.eiffel Organization: University of Ulm, SAI, Germany Newsgroups: comp.object,comp.software-eng,comp.lang.ada,comp.lang.eiffel Date: 1997-09-04T00:00:00+00:00 List-Id: Don Harrison (nospam@thanks.com.au) wrote: > :* Interface control and verification -- the Ada spec can be written > : and published, and other groups can code against it. If the > : implementation or the client changes, the compiler can verify that > : they are still consistent without having to reprocess both. > Possible in any IDE supporting freezing of short forms. > :* Multiple implementations, global, compile time -- you can have > : many implementations of your package spec, and select the best > : one for your application at compile time. Thus, your "list" > : could have a hash table for faster lookup, or store its contents > : to disk to allow long lists of huge data items (just one in > : memory at a time), or whatever -- as long as the spec stays the > : same, the client code doesn't need to be recompiled. > Possible in any IDE supporting multiple class texts. Well, twice you mention the need of an IDE...so tell me, does the Eiffel IDE that works just so wonderfully work when your terminal and your host computer are separated by a firewall? Does it come with vi? emacs? Surely you know, tastes differ wrt this. (I never got accustomed to MS's great M.) What if you have to get along with an environment that is hopefully at least vt100 capable...? I think this may be not too uncommon. With Ada, to start working I 'just' need a compiler/linker combination. But from then on I AM able to work. Perhaps not with all the worlds luxuries and little add-ons and features, but it is possible. However, if I need a fully blown-up intelligent IDE, then I am lost. (Since I am sure there won't be any ports to some platforms I am interested in.) Surely Ada has a better stand in here...but sadly --- if you want oo at all --- often C++ only wins. Maybe this will change some day. *sigh* Just my opinion Yours 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