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.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,8276b2994037cd71 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2000-10-12 17:34:16 PST Path: supernews.google.com!sn-xit-02!sn-xit-03!supernews.com!europa.netcrusader.net!63.211.125.72!cyclone2.usenetserver.com!news-out.usenetserver.com!newsfeed2.earthlink.net!newsfeed.earthlink.net!newsmaster1.prod.itd.earthlink.net!newsread1.prod.itd.earthlink.net.POSTED!not-for-mail Message-ID: <39E658A4.525AE881@acm.org> From: Jeff Carter X-Mailer: Mozilla 4.7 [en] (Win98; U) X-Accept-Language: en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: disjoint ranges ? References: <39E612C9.9BF98CD3@laas.fr> <8s59nu$ej4$1@news.huji.ac.il> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Date: Fri, 13 Oct 2000 00:34:09 GMT NNTP-Posting-Host: 63.178.180.99 X-Complaints-To: abuse@earthlink.net X-Trace: newsread1.prod.itd.earthlink.net 971397249 63.178.180.99 (Thu, 12 Oct 2000 17:34:09 PDT) NNTP-Posting-Date: Thu, 12 Oct 2000 17:34:09 PDT Organization: EarthLink Inc. -- http://www.EarthLink.net Xref: supernews.google.com comp.lang.ada:1208 Date: 2000-10-13T00:34:09+00:00 List-Id: It's interesting how the useful things you can do easily with types and subtypes in Ada, and not at all or with difficulty in many (most?) other languages, lead people to expect even more from Ada's type system than it should reasonably be expected to do. I was recently asked a similar question, except the person was attempting to create a subtype usable as an array index from a large enumeration type. In this case, the problem was in the design; the type needed to be broken into several smaller types. I asked the person what language he had previously used, and was then able to ask, "How would you have done this in X?" Ada provides a lot of powerful capabilities, but at some point you have to do some work to get them to do what you want. -- Jeff Carter "Monsieur Arthur King, who has the brain of a duck, you know." Monty Python & the Holy Grail