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-08 20:43:30 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news.tele.dk!small.news.tele.dk!130.240.42.8!luth.se!psiuk-p2!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: Wed, 8 May 2002 13:16:42 -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> NNTP-Posting-Host: dhcp-200-133.miami.pace.co.uk X-Trace: nh.pace.co.uk 1020878204 14441 136.170.200.133 (8 May 2002 17:16:44 GMT) X-Complaints-To: newsmaster@news.cam.pace.co.uk NNTP-Posting-Date: 8 May 2002 17:16:44 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:23752 Date: 2002-05-08T17:16:44+00:00 List-Id: I see the usefulness of different numeric types coming into play with items that have very distinct usages. For example, if I get data from a pressure transducer and a temperature sensor and an RPM sensor and they were all 16 bit integers, I would want to make sure I didn't accidentally mix them up because they all represent very different things with different units, etc. There, I'd want separate types. But for a counter or index where typically all I want to do is "for X in 1..Data_Structure_Size loop" I don't see a lot of food value to be had by making all those unique types. I'd be hard pressed to come up with a rule as to when it requires a separate type and when it can use one of the predefined types. It sort of feels like "art" to me. I'd suggest that it gains importance as the numbers in question get closer to modeling something in the "real world". The closer it gets to "internal housekeeping", the less interest I have in creating unique types for it. Of course strong typing has more to do than just avoiding the mixing of numeric types. Think of arrays and records as well as parameter passing, etc., where you get considerable protection from the type system against mixing things up that shouldn't get confused. MDC -- Marin David Condic Senior Software Engineer Pace Micro Technology Americas www.pacemicro.com Enabling the digital revolution e-Mail: marin.condic@pacemicro.com "Larry Kilgallen" wrote in message news:TP7CiYvFfPBT@eisner.encompasserve.org... > In article <3CD94E63.3050607@mail.com>, Hyman Rosen writes: > > And as an Ada programmer, I thank you for that diligence. > I have a lot of "count" types in a program I am working on > currently, and I would appreciate it if packages provided > that, in the spirit of Ada. > > And I understand that the spirit of C++ might be different.