[J3] Ada contract model for generic packages

[William Clodius]

Submodules only implement (parts of) the procedure parts of a module, which makes them awkward to use as the implementation of derived types. However the separation of specification and implementation could be handled by making the specification of the template parameters be a formal part of the specification part of the module.

> On Mar 11, 2021, at 12:09 PM, Van Snyder via J3 <j3 at mailman.j3-fortran.org> wrote:
> 
> <snip>
> 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/b2694376/attachment.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 1619 bytes
Desc: not available
URL: <https://mailman.j3-fortran.org/pipermail/j3/attachments/20210311/b2694376/attachment.bin>