Re: Parameterless generic instance in place of opaque type instance

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

Le Sun, 28 Jul 2013 22:58:54 +0200, Shark8 <onewingedshark@gmail.com> a  
écrit:

> 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:

> […] 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. […]

I guess I will love this one :-) (I really have to get an e‑book reader  
some day… more comfortable for long time reading).

P.S. As you just rather get an invitation to not be afraid to ask for the  
HOOD book, I can only recommend you to acknowledge this invitation. HOOD  
is an interesting topic, far from being yet‑another‑kind‑of 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 Agency.  
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 HOOD  
history, was last updated on 2006.

[1]:  
http://www.esa.int/TEC/Software_engineering_and_standardisation/TECKLAUXBQE_0.html


-- 
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University