Re: Visibility of Indexing aspects

["Randy Brukardt" <randy@rrsoftware.com>]

"Dan'l Miller" <optikos@verizon.net> wrote in message 
news:62cefa64-4855-4d51-9216-519f260349d4@googlegroups.com...
...
> Randy, you make a strong argument for the compiler/language tracking the
> lifetime of aliases instead of leaving it as a library and/or app-domain 
> responsibility.

Programming language research seems to be moving toward compile-time rules 
preventing the need for lifetime tracking. One things we've considered (not 
seriously this go-around) is compile-time locking (essentially compile-time 
tampering checks, to use the Ada 2012 container terminology). Then there is 
no runtime overhead and no time-bomb from occassionally failing runtime 
checks. It mostly can be defined in terms of the Global aspect (as defined 
in Ada 2020), although it would be a rather big stick (lots of legit. stuff 
would also be prevented).

                                               Randy.