Re: Ada '88 musings

[stt@ada-uts.UUCP]

Initialization may be specified for limited types which are
record types, by supplying default expressions for the components.
By nesting any type within a record (possibly discriminated), it
is possible to specify a relatively arbitrary initialization.

For example:
type lim(x : integer) is limited private;
 ...
type lim(x : integer) is
    record
        contents : exciting_type(x) := complicated_function(x);
    end record;