Groups > comp.lang.java.programmer > #7271

Re: enhance an array's static type by a lower length-bound.

Path	csiph.com!x330-a1.tempe.blueboxinc.net!usenet.pasdenom.info!aioe.org!feeder.news-service.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From	Robert Klemme <shortcutter@googlemail.com>
Newsgroups	comp.lang.java.programmer
Subject	Re: enhance an array's static type by a lower length-bound.
Date	Sun, 21 Aug 2011 10:47:11 +0200
Lines	32
Message-ID	<9bbv0fF8b4U1@mid.individual.net> (permalink)
References	<slrnj4nm33.6gl.avl@gamma.logic.tuwien.ac.at> <6k7p47d9442mcld6j2p5l4hekodard6oss@4ax.com> <4c11ff9c-3c83-45cc-85a7-9b0c05de17ff@glegroupsg2000goo.googlegroups.com> <slrnj4pr3b.6gl.avl@gamma.logic.tuwien.ac.at> <W4-dnThc3ORFidDTnZ2dnUVZ_oydnZ2d@earthlink.com> <slrnj4ql9f.6gl.avl@gamma.logic.tuwien.ac.at> <hpcr475e59ckm2gje783p9e8b4kg679fsl@4ax.com> <slrnj4vrsc.6gl.avl@gamma.logic.tuwien.ac.at> <0a3f32f3-efab-436d-a008-4ee2ef21be1d@glegroupsg2000goo.googlegroups.com>
Mime-Version	1.0
Content-Type	text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding	7bit
X-Trace	individual.net vswXRiXhiDReB3WRNFYn9Qerov1buEzd+p1A1FMX80CjhrsBY=
Cancel-Lock	sha1:S2/j2CRPn8i7RgjL89unlsMH4b8=
User-Agent	Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.9.2.18) Gecko/20110616 Lightning/1.0b2 Thunderbird/3.1.11
In-Reply-To	<0a3f32f3-efab-436d-a008-4ee2ef21be1d@glegroupsg2000goo.googlegroups.com>
Xref	x330-a1.tempe.blueboxinc.net comp.lang.java.programmer:7271

Show key headers only | View raw

On 20.08.2011 19:50, Lew wrote:
> Andreas Leitgeb wrote:
>> Roedy Green wrote:
>>> Andreas Leitgeb wrote:
>>>> 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 entirely agree with you. However, if you didn't really read the
>> first few lines of the original post, then you're probably just
>> wasting your time if you read or answer the other posts of this
>> thread. (You're of course free to do just that - namely waste your
>> time - if you're in that mood :-)
>>
>> This thread is neither about a problem to be solved, nor about a
>> serious proposal for Java - despite certain formulations (picked
>> out of the context) may make it seem like it was.
>
> Discussions like this one are incredibly valuable for the evolution
> of the Java language, and for computer languages in general.

... and probably also for the understanding of programming languages.

Cheers

	robert

-- 
remember.guy do |as, often| as.you_can - without end
http://blog.rubybestpractices.com/

Back to comp.lang.java.programmer | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

enhance an array's static type by a lower length-bound. Andreas Leitgeb <avl@gamma.logic.tuwien.ac.at> - 2011-08-17 15:04 +0000
  Re: enhance an array's static type by a lower length-bound. Joshua Cranmer <Pidgeot18@verizon.invalid> - 2011-08-17 12:34 -0500
    Re: enhance an array's static type by a lower length-bound. Andreas Leitgeb <avl@gamma.logic.tuwien.ac.at> - 2011-08-18 13:14 +0000
      Re: enhance an array's static type by a lower length-bound. Joshua Cranmer <Pidgeot18@verizon.invalid> - 2011-08-18 10:30 -0500
        Re: enhance an array's static type by a lower length-bound. Andreas Leitgeb <avl@gamma.logic.tuwien.ac.at> - 2011-08-18 18:12 +0000
          Re: enhance an array's static type by a lower length-bound. Joshua Cranmer <Pidgeot18@verizon.invalid> - 2011-08-18 20:59 -0500
  Re: enhance an array's static type by a lower length-bound. Robert Klemme <shortcutter@googlemail.com> - 2011-08-17 20:42 +0200
    Re: enhance an array's static type by a lower length-bound. Andreas Leitgeb <avl@gamma.logic.tuwien.ac.at> - 2011-08-18 21:44 +0000
      Re: enhance an array's static type by a lower length-bound. Robert Klemme <shortcutter@googlemail.com> - 2011-08-19 13:24 +0200
        Re: enhance an array's static type by a lower length-bound. Andreas Leitgeb <avl@gamma.logic.tuwien.ac.at> - 2011-08-20 17:20 +0000
  Re: enhance an array's static type by a lower length-bound. Roedy Green <see_website@mindprod.com.invalid> - 2011-08-17 22:11 -0700
    Re: enhance an array's static type by a lower length-bound. Lew <lewbloch@gmail.com> - 2011-08-17 23:17 -0700
      Re: enhance an array's static type by a lower length-bound. Andreas Leitgeb <avl@gamma.logic.tuwien.ac.at> - 2011-08-18 10:41 +0000
        Re: enhance an array's static type by a lower length-bound. Patricia Shanahan <pats@acm.org> - 2011-08-18 06:34 -0700
          Re: enhance an array's static type by a lower length-bound. Andreas Leitgeb <avl@gamma.logic.tuwien.ac.at> - 2011-08-18 18:08 +0000
            Re: enhance an array's static type by a lower length-bound. Roedy Green <see_website@mindprod.com.invalid> - 2011-08-18 17:53 -0700
              Re: enhance an array's static type by a lower length-bound. Andreas Leitgeb <avl@gamma.logic.tuwien.ac.at> - 2011-08-20 17:31 +0000
                Re: enhance an array's static type by a lower length-bound. Lew <lewbloch@gmail.com> - 2011-08-20 10:50 -0700
                Re: enhance an array's static type by a lower length-bound. Robert Klemme <shortcutter@googlemail.com> - 2011-08-21 10:47 +0200
          Re: enhance an array's static type by a lower length-bound. Michal Kleczek <kleku@poczta.onet.pl> - 2011-08-21 20:27 +0200

csiph-web