Path: csiph.com!x330-a1.tempe.blueboxinc.net!usenet.pasdenom.info!aioe.org!.POSTED!not-for-mail From: Roedy Green Newsgroups: comp.lang.java.programmer Subject: Re: enhance an array's static type by a lower length-bound. Date: Thu, 18 Aug 2011 17:53:27 -0700 Organization: Canadian Mind Products Lines: 23 Message-ID: References: <6k7p47d9442mcld6j2p5l4hekodard6oss@4ax.com> <4c11ff9c-3c83-45cc-85a7-9b0c05de17ff@glegroupsg2000goo.googlegroups.com> Reply-To: Roedy Green NNTP-Posting-Host: RCd/Ul4tyxGUBII8WGwa5g.user.speranza.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Complaints-To: abuse@aioe.org X-Notice: Filtered by postfilter v. 0.8.2 X-Newsreader: Forte Agent 6.00/32.1186 Xref: x330-a1.tempe.blueboxinc.net comp.lang.java.programmer:7235 On 18 Aug 2011 18:08:47 GMT, Andreas Leitgeb wrote, quoted or indirectly quoted someone who said : >That should/could be compiler's job. If you are the only person who has this problem, then it should definitely not be the compiler's job. You can't put features in languages unless 99% of programmers can understand them. That rules out quite number of esoteric ideas. I exaggerate somewhat, but designing computer languages is a bit like designing control panels for elevators. They have to be obvious. Your idea is not as hairy as generics, but it is not something that can be understood even with two readings. -- Roedy Green Canadian Mind Products http://mindprod.com The modern conservative is engaged in one of man's oldest exercises in moral philosophy; that is, the search for a superior moral justification for selfishness. ~ John Kenneth Galbraith (born: 1908-10-15 died: 2006-04-29 at age: 97)