Re: Building limited types through nested creator functions

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

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