From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,c84654714c2f5945 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news3.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newscon06.news.prodigy.com!prodigy.net!newsfeed-00.mathworks.com!nntp.TheWorld.com!not-for-mail From: Robert A Duff Newsgroups: comp.lang.ada Subject: Re: GNAT GPL Edition - on the plus side Date: 15 Oct 2005 20:48:29 -0400 Organization: The World Public Access UNIX, Brookline, MA Message-ID: References: <1u927xnbmsfw1$.1xg4jk31952ts$.dlg@40tude.net> NNTP-Posting-Host: shell01.theworld.com Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: pcls4.std.com 1129423709 21399 192.74.137.71 (16 Oct 2005 00:48:29 GMT) X-Complaints-To: abuse@TheWorld.com NNTP-Posting-Date: Sun, 16 Oct 2005 00:48:29 +0000 (UTC) User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 Xref: g2news1.google.com comp.lang.ada:5714 Date: 2005-10-15T20:48:29-04:00 List-Id: "Dmitry A. Kazakov" 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