Re: GNAT GPL Edition - on the plus side

[Robert A Duff <bobduff@shell01.TheWorld.com>]

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:

> I am not sure I have understood what you meant,...

From your response, I think you understand exactly what I meant.  You
propose passing type parameters to (generic) types as opposed to passing
type parameters to (generic) packages.  Yes, that's a lot like
discriminants, and I've thought of the same thing myself.

But it's still a lot like generics -- instead of generic packages, we
have generic types.  (In fact, in Eiffel, you have generic classes.)

I don't much like the macro-expansion-like semantics of Ada generics
(though it's better in some ways than C++ templates).  The need is for
"types parameterized by types".  Ada generics do that, and perhaps some
magical discriminants could, too, and perhaps that would be more
convenient.

Are we agreeing or disagreeing, here?

- Bob