Re: User-defined type attributes

["Randy Brukardt" <randy@rrsoftware.com>]

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
news:965suhjl0bxt$.74se2ylyksin.dlg@40tude.net...
...
> Why? The only thing you need is formal generic ADTs. Ada's generics lack
> ADTs, which is the reason why you need to pass operations together with
the
> formal types. There exist formal built-in types like "private", "<>",
> "digits <>" etc, but there is no user-defined ones. Add these and all
> primitive operations will go with the actual type just per magic. It would
> be IMO a natural step for anybody who wanted generics to evolve in an
> Ada-way. (Not for me, as you know, I prefer generics removed from the
> language.)

Generic formal derived types are the way to bring an ADT into a generic.
After all, they do bring in all of the primitive operations of the ADT.

The only problem is that they can't be used on unrelated types, but that's
not very relevant if you are using tagged types (and you might as well being
doing so if you're defining any sort of composite type).

                                                        Randy.