Path: csiph.com!x330-a1.tempe.blueboxinc.net!usenet.pasdenom.info!gegeweb.org!de-l.enfer-du-nord.net!feeder2.enfer-du-nord.net!feeder.erje.net!news.internetdienste.de!news.tu-darmstadt.de!news.belwue.de!news.uni-stuttgart.de!news.nask.pl!news.nask.org.pl!news.cyf-kr.edu.pl!agh.edu.pl!news.agh.edu.pl!news.onet.pl!.POSTED!not-for-mail
From: Michal Kleczek <kleku@poczta.onet.pl>
Newsgroups: comp.lang.java.programmer
Subject: Re: enhance an array's static type by a lower length-bound.
Date: Sun, 21 Aug 2011 20:27:37 +0200
Organization: http://onet.pl
Lines: 13
Message-ID: <j2rimr$arj$1@news.onet.pl>
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>
NNTP-Posting-Host: 77-255-54-252.adsl.inetia.pl
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: news.onet.pl 1313951259 11123 77.255.54.252 (21 Aug 2011 18:27:39 GMT)
X-Complaints-To: niusy@onet.pl
NNTP-Posting-Date: Sun, 21 Aug 2011 18:27:39 +0000 (UTC)
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:6.0) Gecko/20110812 Thunderbird/6.0
In-Reply-To: <W4-dnThc3ORFidDTnZ2dnUVZ_oydnZ2d@earthlink.com>
Xref: x330-a1.tempe.blueboxinc.net comp.lang.java.programmer:7277

On 2011-08-18 15:34, Patricia Shanahan wrote:
>
> I don't think I've ever seen a language with dynamic array creation that
> has a lower bound on the length of an array a variable can reference.
> I'm not sure how it would work, or how I would use it.
>

Wouldn't any language with dependent typing have it? There are some 
academic languages implementing it (actually parts of since such 
typechecking is undecidable).

-- 
Michal