array with index mapper - Java-based implementation Per Bothner (24 Aug 2015 17:09 UTC)
Re: array with index mapper - Java-based implementation John Cowan (24 Aug 2015 18:24 UTC)
Re: array with index mapper - Java-based implementation Per Bothner (24 Aug 2015 19:40 UTC)
Re: array with index mapper - Java-based implementation Bradley Lucier (26 Aug 2015 15:05 UTC)
Re: array with index mapper - Java-based implementation John Cowan (26 Aug 2015 16:50 UTC)
Re: array with index mapper - Java-based implementation Per Bothner (26 Aug 2015 20:38 UTC)
Re: array with index mapper - Java-based implementation John Cowan (26 Aug 2015 21:45 UTC)

Re: array with index mapper - Java-based implementation John Cowan 26 Aug 2015 16:50 UTC

Bradley Lucier scripsit:

> >A general array has a getter that maps an interval to a value.
>
> Shouldn't the array carry around interval with it? Maybe I don't understand.

I think the idea is that the getter is passed the array's interval (but
not the array's body) and returns an index into the body.
So unlike your getter, this function does not actually do any getting:
it just transforms a specific set of indices into a single index.

--
John Cowan          http://www.ccil.org/~cowan        xxxxxx@ccil.org
"Why yes, I'm ten percent Jewish on my manager's side."
        --Connie Francis