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-Thread: 103376,e55245590c829bef X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news4.google.com!proxad.net!feeder1-2.proxad.net!feeder.erje.net!newsfeed.utanet.at!newsfeed01.chello.at!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail Date: Fri, 05 Nov 2010 18:38:25 +0100 From: Georg Bauhaus User-Agent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.5; en-US; rv:1.9.2.12) Gecko/20101027 Thunderbird/3.1.6 MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: _Type vs no _Type References: <86wroy58ff.fsf@gareth.avalon.lan> <86pqup5xfy.fsf@gareth.avalon.lan> <86y69d3rec.fsf@gareth.avalon.lan> <82lj5c5ecm.fsf@stephe-leake.org> <82zktq4n9b.fsf_-_@stephe-leake.org> <87eib06yir.fsf@mid.deneb.enyo.de> <4cd3e34f$0$6978$9b4e6d93@newsspool4.arcor-online.net> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Message-ID: <4cd44111$0$6768$9b4e6d93@newsspool3.arcor-online.net> Organization: Arcor NNTP-Posting-Date: 05 Nov 2010 18:38:25 CET NNTP-Posting-Host: ab13fed3.newsspool3.arcor-online.net X-Trace: DXC=MnUmA;NIIlH2:OR3:3gaE@McF=Q^Z^V3H4Fo<]lROoRA8kFJLh>_cHTX3jM31a?37[eIdB X-Complaints-To: usenet-abuse@arcor.de Xref: g2news2.google.com comp.lang.ada:16244 Date: 2010-11-05T18:38:25+01:00 List-Id: On 05.11.10 17:31, Dmitry A. Kazakov wrote: > On Fri, 05 Nov 2010 11:58:24 +0100, Georg Bauhaus wrote: > >> Case insensitivity reduces the number of very similar >> identifiers by 2. > > by 2**n? Where n is the identifier's length. Yes, the exponential thing is what I had in mind. Thanks.