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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
Path: 
 border1.nntp.dca3.giganews.com!backlog3.nntp.dca3.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!newspeer1.nac.net!feeder.erje.net!eu.feeder.erje.net!news.stack.nl!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Your wish list for Ada 202X
Date: Thu, 27 Mar 2014 16:42:56 +0100
Organization: cbb software GmbH
Message-ID: <d9hwmi2m2f7j.190bc5d8qdku0$.dlg@40tude.net>
References: <7f1c01c5-3563-4b94-9831-152dbbf2ecdc@googlegroups.com>
 <206rutb9pqak$.11a3dufqvmrm4.dlg@40tude.net>
 <ea073fca-c607-476c-8c0b-81e2da1686b1@googlegroups.com>
 <lgvfga$bs7$1@loke.gir.dk> <o55d8h8hmzjb.591frxr75ryx$.dlg@40tude.net>
 <53340361$0$22624$9b4e6d93@newsspool1.arcor-online.net>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: I5Na6+WsEzT8WoegI0VZTA.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
User-Agent: 40tude_Dialog/2.0.15.1
X-Notice: Filtered by postfilter v. 0.8.2
X-Original-Bytes: 1909
Xref: number.nntp.dca.giganews.com comp.lang.ada:185375
Date: 2014-03-27T16:42:56+01:00
List-Id: <comp.lang.ada>

On Thu, 27 Mar 2014 11:54:24 +0100, Georg Bauhaus wrote:

> Can there be a language rule that requires detection of
> initialization of all parts of said object before use?

Yes

> Is it worth it?

Yes
 
> Is it simple?

Yes, because it would be a part of universal construction model. You place
no-default-initialization in the root type, that is all. Compare it to
(<>).

> Is it elegant?

Yes

> Is it explicit enough?

It is to late to make not initialized object syntactically more visible
than they are.

P.S. Most problems are intractable if you try to solve them by means of
inference of the programmer's intent. Don't do that. Let the programmer
manifest his will, like with initialization. This is why explicit
interfaces are really important for making the language simpler.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de