Re: Everything You Know Is Wrong

[Jacob Sparre Andersen <sparre@nbi.dk>]

Jeffrey R. Carter wrote:

> People will no doubt still want a hierarchical naming system for data
> stored in that memory, but presumably S/W will map variables onto
> these "files". So instead of the current "open, loop over
> read/modify/write, close" paradigm, we might have something like
>
> type R is record ...
>
> type L is array (Positive range <>) of R;
>
> F: mapped L with File_Name => "name";
>
> All_Records : for I in F'range loop -- or "of F"
>
> where the bounds of F will be determined from "name". A mechanism will
> be needed for collections of heterogenous data as well. F would be
> equivalent to a Direct_IO file with in-out mode.
>
> I would think that the Ada 2X project should be thinking about these
> things, and wonder what others here think about them.

I think it looks somewhat similar to some of my experiments on
simplified persistence in Ada:

   http://www.jacob-sparre.dk/persistence/ae2010-slides.pdf
   http://www.jacob-sparre.dk/programming/persistent_containers-2015-paper.pdf

Considering the difficulties of implementing persistence in a simple way
with a library, I think it is worthwhile experimenting with something
like this - and considering it for the next major revision of Ada.

Greetings,

Jacob
-- 
"Get rid of the mess with the species"
 Ken Haste Andersen