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.4 required=5.0 tests=AC_FROM_MANY_DOTS,BAYES_00 autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,1dd28d5040ded1f8 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-05-10 06:31:21 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!colt.net!news-x2.support.nl!psinet-eu-nl!psiuk-p4!uknet!psiuk-p3!uknet!psiuk-n!news.pace.co.uk!nh.pace.co.uk!not-for-mail From: "Marin David Condic" Newsgroups: comp.lang.ada Subject: Re: Announce: Grace project site operational Date: Thu, 9 May 2002 11:38:30 -0400 Organization: Posted on a server owned by Pace Micro Technology plc Message-ID: References: <3CD88FBD.4070706@telepath.com> <3CD91E31.1060004@telepath.com> <3CD94E63.3050607@mail.com> <3CDA81B3.9BAC8C8D@despammed.com> NNTP-Posting-Host: dhcp-200-133.miami.pace.co.uk X-Trace: nh.pace.co.uk 1020958711 18193 136.170.200.133 (9 May 2002 15:38:31 GMT) X-Complaints-To: newsmaster@news.cam.pace.co.uk NNTP-Posting-Date: 9 May 2002 15:38:31 GMT X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.50.4522.1200 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4522.1200 Xref: archiver1.google.com comp.lang.ada:23835 Date: 2002-05-09T15:38:31+00:00 List-Id: "Wes Groleau" wrote in message news:3CDA81B3.9BAC8C8D@despammed.com... > > And actually, in this one case you can't: the > loop control variable is implicitly declared > by the loop statement and its type implied by > the rest of the statement. > Good point! I always forget that one spot where Ada does implicit declaration of an object. Anyway, I think you can see what I mean by not having a lot of food value to create a special type for every counter or index or flag that might be used in coding-up some operation. I'd rather use strong typing for reflecting things in the real world or where its important in creating an abstraction of the problem. Insisting on providing a type for the count of the number of elements in a list is likely to make it unpopular with users who are thinking "Look, all I want is a list of the couple of hundred records I'm piling up and I want to know how many of them I've got and I don't want to have to keep telling you "Natural" at every instance that I need a list..." I could be persuaded otherwise, but I'd have to see how it might make some big difference in practical usage to make it worth the extra effort. MDC -- Marin David Condic Senior Software Engineer Pace Micro Technology Americas www.pacemicro.com Enabling the digital revolution e-Mail: marin.condic@pacemicro.com