Re: Discriminated records are not the most efficient, but ...

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Sun, 22 Aug 2010 22:47:24 +0200, Florian Weimer <fw@deneb.enyo.de> a  
écrit:
> But doesn't that mean that the package you want to pass has to be an
> instance of a generic package?  I haven't seen that programming style
> much.
Now I've just seen about Structures and Functors (you seems to know ML, do  
you ?), and we could say “Ada's functors” can only get functors as  
parameter, not structures.

This should be kept in mind while mapping from ML to Ada, while honestly,  
this would be a matter only when there are children packages. But as such  
a package would typically encapsulate an ADT, this will most of time not  
be a matter, as most commonly such a package will not have children  
(because this is not needed if well designed, except if you want to extend  
with access to some private parts and that is really required.. otherwise,  
siblings rooted somewhere may be a better option).

And any way, as Dmitry would tell you (and I agree): “generics hierarchies  
are not always so fun”.