Re: Strings with discriminated records

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On 2018-06-01 15:35, Dan'l Miller wrote:

> In that hypothetical Ada++ for the 21st century, every externally-visible portion of the interface of a package would be required to be versioned, so that laggards can stay with the old clunky version-x interface unmodified and trendy people can run with the Cool Kids by using the next-gen version-x+1 interface.

Versions on which level? Versioning on the level of compilation unit 
will not be sufficient. Versioning on the level of individual types 
could be very difficult.

[ The problem must be certainly addressed because the actual situation 
with maintenance of dynamic libraries becomes increasingly intolerable 
as we part with monolithic software architectures in all areas. ]

> Indeed, Ada++ for the 21st century would just entirely remove the syntax for overusing use-clauses, forcing the more-piecemeal alternative*.

I would rather eliminate with-clause as useless. The use-clause would be 
the only method to express a dependency. I would make illegal any use 
clause that hides anything. The programmer would have explicitly rename 
any conflicting items.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de