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,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,7ee10ec601726fbf X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-10-31 22:07:20 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!feed2.news.rcn.net!rcn!dca6-feed2.news.digex.net!intermedia!newsfeed1.cidera.com!Cidera!cyclone1.gnilink.net!spamfinder.gnilink.net!typhoon2.gnilink.net.POSTED!not-for-mail Message-ID: <3BE0E68B.9040304@mail.com> From: Hyman Rosen User-Agent: Mozilla/5.0 (Windows; U; Win 9x 4.90; en-US; rv:0.9.5+) Gecko/20011031 X-Accept-Language: en-us MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: why not References: <3BC5D730.DA950CC7@boeing.com> <9q4pa7$1ad$1@nh.pace.co.uk> <3BC6ACC8.23EF21BC@free.fr> <3BC71F54.1FFE78FA@boeing.com> <1KGx7.26476$ev2.35117@www.newsranger.com> <3BC7AD82.2A0CCCD4@acm.org> <9qhiqr$af0$1@nh.pace.co.uk> <1nDC7.180$6S7.92255364@newssvr11.news.prodigy.com> <9rjsak$bp3$1@nh.pace.co.uk> <9rmhb9$o1b$1@nh.pace.co.uk> <3BDEF0FE.B55FED9E@san.rr.com> <9rmuqi$es$1@nh.pace.co.uk> <3BDF1F13.4B99361C@san.rr.com> <9rnbtv$5i4$1@nh.pace.co.uk> <3BDF8C59.5020108@mail.com> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Date: Thu, 01 Nov 2001 06:07:01 GMT NNTP-Posting-Host: 151.202.115.190 X-Complaints-To: business-support@verizon.com X-Trace: typhoon2.gnilink.net 1004594821 151.202.115.190 (Thu, 01 Nov 2001 01:07:01 EST) NNTP-Posting-Date: Thu, 01 Nov 2001 01:07:01 EST Xref: archiver1.google.com comp.lang.ada:15529 Date: 2001-11-01T06:07:01+00:00 List-Id: Matthew Heaney wrote: > Among C++ programmers, you would probably just be told "don't do this" > (which is OK by me -- I happen to like the STL). But in the Ada culture we > would try to design a component such that this scenario couldn't happen (or > at least have a run-time error of some kind). > > So it's not clear that components exactly like the STL would ever be adopted > by the standards commitee. In fact, there are "safe STL" implementations which would catch such errors. You specify at compile time whether the checking code should be enabled. The checking actually goes a little further, to implement "concept checks". That is, since C++ template type parameters don't offer the ability to specify requirements on the type, concept checkers do this. They can catch errors at compile time, and are implemented by various template tricks that true C++ fans adore and which would probably drive true Ada fans up a wall :-) Of course, the C++ default mode is unsafe :-) Anyway, that's what I was getting at. The STL is perfect for C++. If there was a library that was perfect for Ada, you would know it, and everyone would be champing at the bit to standardize it.