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
X-Google-Thread: 103376,e92d558e5b77fce2
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Received: by 10.68.231.202 with SMTP id ti10mr339195pbc.5.1328627368295;
        Tue, 07 Feb 2012 07:09:28 -0800 (PST)
Path: 
 lh20ni270842pbb.0!nntp.google.com!news1.google.com!news4.google.com!proxad.net!feeder1-2.proxad.net!usenet-fr.net!gegeweb.org!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Building limited types through nested creator functions
Date: Tue, 7 Feb 2012 16:08:34 +0100
Organization: cbb software GmbH
Message-ID: <119ggo27yno9u.1xqd6iu7dg15w$.dlg@40tude.net>
References: 
 <40048c5a-ecf5-43e6-8c76-a294d0c333d1@l14g2000vbe.googlegroups.com>
 <45c75d2a-02b4-40b2-b69b-04c6bf7a47a5@t2g2000yqk.googlegroups.com>
 <f7678d6e-6746-485f-a148-4f0821ffe9ed@e27g2000vbu.googlegroups.com>
 <57a267ec-b901-401e-b415-ca6d9cf47616@d15g2000yqg.googlegroups.com>
 <326bcb0a-e37d-4d67-84c2-3d21e3ba3ffe@h6g2000yqk.googlegroups.com>
 <12ltgmjr08pwh.10sal6ffvej77.dlg@40tude.net>
 <4f3103b9$0$6560$9b4e6d93@newsspool4.arcor-online.net>
 <s50srnaxvrg2.70fkcygz6o69.dlg@40tude.net> <op.v9bci2lyule2fv@douda-yannick>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: FbOMkhMtVLVmu7IwBnt1tw.user.speranza.aioe.org
Mime-Version: 1.0
X-Complaints-To: abuse@aioe.org
User-Agent: 40tude_Dialog/2.0.15.1
X-Notice: Filtered by postfilter v. 0.8.2
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: 8bit
Date: 2012-02-07T16:08:34+01:00
List-Id: <comp.lang.ada>

On Tue, 07 Feb 2012 15:43:40 +0100, Yannick Duch�ne (Hibou57) wrote:

> Le Tue, 07 Feb 2012 14:25:40 +0100, Dmitry A. Kazakov
> <mailbox@dmitry-kazakov.de> a �crit:
>> It is never called explicitly.
> You have Controlled types.

Initialize is not a constructor:

1. Initialize is not enforced (a constructor is always called);
2. It can be called explicitly (a constructor is not an operation);
3. It can be overridden (a constructor is not a primitive operation);
4. It dispatches (a constructor is specific to its type);
5. Initialize has no additional parameters, it is useless in factories;
6. Initialize does not work with all types;
7. Initialize is called too early when tasks are components.

Like limited-valued functions Initialize is a hack, which cannot work
because construction cannot be expressed in terms of procedural model
decomposition.

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