Re: Discriminated records are not the most efficient, but ...

[Florian Weimer <fw@deneb.enyo.de>]

* Yannick Duchêne (Hibou57):

> But they was wrong in one point, as they also ended with:
>
>    “However, ML admits structures (not just types) as parameters to
> functors.”
>
> Probably they never heard about “package formal parameter”. I suppose
> they knew about Ada 83 and this was not there with this one (but was
> this  really the case ?)

But doesn't that mean that the package you want to pass has to be an
instance of a generic package?  I haven't seen that programming style
much.

(Ada hasn't got another way to express module types, so this shouldn't
come as a surprise.)