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: 103376,6960ceaa57428e2f X-Google-Attributes: gid103376,public From: Laurent Guerby Subject: Re: Another important feature of Ada Date: 2000/11/15 Message-ID: <861ywd58w3.fsf@acm.org>#1/1 X-Deja-AN: 694020120 References: <3A12041B.BCFD8CA0@worldnet.att.net> <8uu6tf$63d$1@nnrp1.deja.com> <3A12BBC6.E3FDAB0F@averstar.com> X-Trace: front4m.grolier.fr 974316569 6573 195.36.162.195 (15 Nov 2000 19:29:29 GMT) Organization: Club-Internet (France) NNTP-Posting-Date: 15 Nov 2000 19:29:29 GMT Newsgroups: comp.lang.ada Date: 2000-11-15T19:29:29+00:00 List-Id: Tucker Taft writes: > I also believe strongly in the value of separating interface and > implementation. [...] This is essentially the story in Java and > Eiffel with classes, where there is no separate spec, but you can > extract the "contract" from the implementation. [...] The Ada way is of course write the spec and have a tool build a dummy implementation for it (C-c o under your favourite editor or gnatstub with your favourite free compiler ;-). -- Laurent Guerby