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,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail From: =?utf-8?Q?Yannick_Duch=C3=AAne_=28Hibou57?= =?utf-8?Q?=29?= Newsgroups: comp.lang.ada Subject: Re: Parameterless generic instance in place of opaque type instance Date: Mon, 29 Jul 2013 00:27:15 +0200 Organization: Ada @ Home Message-ID: References: <8c534e86-8e60-4e30-8734-e1cb697239fb@googlegroups.com> <2c7f8793-4193-4f55-88a7-cdd686f19721@googlegroups.com> NNTP-Posting-Host: Q+yAf+3rQiqRKw0/oBD3Eg.user.speranza.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes Content-Transfer-Encoding: Quoted-Printable X-Complaints-To: abuse@aioe.org User-Agent: Opera Mail/12.16 (Linux) X-Notice: Filtered by postfilter v. 0.8.2 Xref: news.eternal-september.org comp.lang.ada:16593 Date: 2013-07-29T00:27:15+02:00 List-Id: Le Sun, 28 Jul 2013 22:58:54 +0200, Shark8 a = = =C3=A9crit: > Oh, of possible interest to you is this paper on Ada generics: > http://www.cs.dartmouth.edu/reports/TR86-104.pdf > > It draws comparisons between records and [generic] packages, though = > touches on forcing certain parameter-passing or evaluation-order. Indeed, looks promising. Short excerpt from the introduction: > [=E2=80=A6] Ada text books reveals a rather limited view of Ada's > generic facilities: a mean of adding type parameters to > abstract data types and procedure [Barnes, Habermann]. > In this paper, I claim that there are more uses for generic > than stack packages, swap procedures and numerical integration > functions. >The sections of the paper are organized around two strategiesfor using = = > Ada's generic features: generalized records andparameter control. The = = > next section outlines how genericpackages can be viewed and used as = > record. [=E2=80=A6] I guess I will love this one :-) (I really have to get an e=E2=80=91book= reader = some day=E2=80=A6 more comfortable for long time reading). P.S. As you just rather get an invitation to not be afraid to ask for th= e = HOOD book, I can only recommend you to acknowledge this invitation. HOOD= = is an interesting topic, far from being yet=E2=80=91another=E2=80=91kind= =E2=80=91of UML. It's a = notation and a complete method, and as a notation, it balance well = graphical and textual representations. It's an up to date version, dated= = 1997, while the final stable revision was achieved on 1995 (so edited = after, and thus, up to date). It's about 220 pages. HOOD was an initiative of the ESA, which stands for European Space Agenc= y. = However, I don't know anything about the current status of HOOD at the = ESA. I can just notice the ESA page [1] which very briefly introduce HOO= D = history, was last updated on 2006. [1]: = http://www.esa.int/TEC/Software_engineering_and_standardisation/TECKLAUX= BQE_0.html -- = =E2=80=9CSyntactic sugar causes cancer of the semi-colons.=E2=80=9D [1] =E2=80=9CStructured Programming supports the law of the excluded muddle.= =E2=80=9D [1] [1]: Epigrams on Programming =E2=80=94 Alan J. =E2=80=94 P. Yale Univers= ity