[J3] Ada contract model for generic packages

[Van Snyder]

I received this recently from Randy Brukardt, a denizen of WG9:

Ada's contract model for generics requires that a generic body be legal
without knowing any details of the actual parameters of any instance;
this makes it possible to determine the correctness of a generic body
itself, without needing to know of it's instantiation.


This was done in 1995.


The Ada 2012 standard is online.


There are good textbooks for Ada 95, including ones by John Barnes and
Norman Cohen.


Ada allows a generic package to have a separate specification and body.
In the Fortran context, that would be a module and submodule.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.j3-fortran.org/pipermail/j3/attachments/20210311/aecc2119/attachment.htm>