"Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr> wrote in message 
news:op.wv8jh1c1ule2fv@cardamome...
...
>As an additional aside but related question, I'm also interested in the 
>question in the particular context of storage-pools, which use tagged 
>types instead of simple sub-program designated by some attributes or 
>operator overloading (I imagine simple sub-programs could have been an 
>option for the `new` operator, just like for the other operators).

Nitpick: "new" is not an operator, it is an *operation*, things whose 
behavior cannot be modified directly. Like membership, it would be hard to 
make "new" an operator because one of the arguments can be a type (rather 
than an object or value), and it's hard to see how that could be mapped to 
an Ada function. (Adding type parameters seems over the top.)

                                 Randy.