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=unavailable autolearn_force=no version=3.4.4
Path: 
 border2.nntp.dca.giganews.com!nntp.giganews.com!news.snarked.org!us.feeder.erje.net!feeder.erje.net!eu.feeder.erje.net!feeds.news.ox.ac.uk!news.ox.ac.uk!nntp-feed.chiark.greenend.org.uk!ewrotcd!reality.xs3.de!news.jacob-sparre.dk!loke.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Your wish list for Ada 202X
Date: Tue, 22 Apr 2014 18:23:19 -0500
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <lj6tla$733$1@loke.gir.dk>
References: <7f1c01c5-3563-4b94-9831-152dbbf2ecdc@googlegroups.com>
 <lhviiu$q77$1@loke.gir.dk> <yl8s1sbhw0lw.1bhypcrvreord.dlg@40tude.net>
 <li217v$uvk$1@loke.gir.dk> <1w6eh0aiksmdh$.1h16p7y0b8c6h.dlg@40tude.net>
 <li5354$c8e$1@loke.gir.dk> <17twpp4p8u7o$.1idvzaaio4f3t$.dlg@40tude.net>
 <bqqsmqFk8b9U1@mid.individual.net> <s604jsja4ayt.yf0xqwsaue9d.dlg@40tude.net>
 <bqr781FmefuU1@mid.individual.net>
 <1wjmcbk375lzk.6o7dpqcp3va3.dlg@40tude.net>
 <br07nkFnvrbU1@mid.individual.net> <lihtai$6oj$1@loke.gir.dk>
 <br8bu5Fg3keU1@mid.individual.net> <lin047$uik$1@loke.gir.dk>
 <brdegqFi62jU1@mid.individual.net> <lis5et$gt1$1@loke.gir.dk>
 <brepivFq9kcU1@mid.individual.net> <lj48fr$b48$1@loke.gir.dk>
 <11241mc0j3ewn.14ahwtra3l1i8.dlg@40tude.net> <tMp5v.132103$dK.57197@fx07.iad>
 <10o6qo98dwzjs$.rdpzvq7w1lep.dlg@40tude.net>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: loke.gir.dk 1398209002 7267 69.95.181.76 (22 Apr 2014 23:23:22 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Tue, 22 Apr 2014 23:23:22 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157
Xref: number.nntp.dca.giganews.com comp.lang.ada:185948
Date: 2014-04-22T18:23:19-05:00
List-Id: <comp.lang.ada>

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:10o6qo98dwzjs$.rdpzvq7w1lep.dlg@40tude.net...
...
> Which is exactly the problem - this introduces erroneous states, where
> there should be none. From the SW design POV there shall be no way to
> create a closed file, an uninitialized widget, a float with the FPU turned
> off etc.

I suspect that in the case of files, that would be too limiting to be of 
much use. One could not have a container (or array) of files, for instance, 
because there would be no way to provide the file names to each element 
before it existed. You would have resort to using dynamic allocation for 
almost all uses, and that would be a giant step backwards for an Ada-like 
language.

                         Randy.