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,21aaebbd9205357c X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII X-Received: by 10.180.98.103 with SMTP id eh7mr4657761wib.3.1362596485202; Wed, 06 Mar 2013 11:01:25 -0800 (PST) Path: bp2ni74912wib.1!nntp.google.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail From: Niklas Holsti Newsgroups: comp.lang.ada Subject: Re: Please list all the Ada libraries you know Date: Wed, 06 Mar 2013 21:01:24 +0200 Organization: Tidorum Ltd Message-ID: References: <69291c5f-ffce-4b48-a1c5-aa76f308082f@googlegroups.com> <0b80a829-05d4-4f07-a954-3acb3b276d5b@googlegroups.com> Mime-Version: 1.0 X-Trace: individual.net jCaT6a+sG0lllg1RHcpgpQJW+/UPHgXc5/jXI/ecXfL34dwhiR8k3vZzwCQKSNKEQd Cancel-Lock: sha1:Ri08ExC/r93tIEOJ8NgGe+xqSec= User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.6; rv:17.0) Gecko/20130216 Thunderbird/17.0.3 In-Reply-To: <0b80a829-05d4-4f07-a954-3acb3b276d5b@googlegroups.com> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Date: 2013-03-06T21:01:24+02:00 List-Id: On 13-03-06 19:08 , Adam Beneschan wrote: > On Tuesday, March 5, 2013 10:15:56 PM UTC-8, J-P. Rosen wrote: >> Le 04/03/2013 21:43, Adam Beneschan a �crit : >> >>> Well, no, you don't "need" one. Once you know what directory you're >>> looking in, it's not all that difficult to look for any file whose >>> name matches what you're looking for without regard to letter case. >> >> Sure. But that means doing a full directory search any time you refer to >> a unit (just to check if by chance there is another file with the same >> name and different casing) => a lot of disk access, and considering the >> ratio of disk speed to memory speed nowadays, this is likely to have a >> very sensible effect on speed for a very minor (IMHO) nuisance. > > If you're trying to say "big enough that one can sense it" > "sensible" isn't the right word--it means something totally > different. Dictionaries disagree. Wiktionary (http://en.wiktionary.org/wiki/sensible) has its two first meanings agreeing with J-P's usage: 1. (now dated or formal) Perceptible by the senses. 2. Easily perceived; appreciable. The Oxford Concise Dictionary (1950 edition) has the same (1), without tagging it dated. Oxford Advanced Learner's Dictionary of Current English (1974 edition) has "good sense" or "reasonable" as the first meaning, but "can be perceived by the senses" as the third meaning, without tagging this meaning dated. So "sensible" has multiple meanings. -- Niklas Holsti Tidorum Ltd niklas holsti tidorum fi . @ .