Re: array from static predicate on enumerated type

[Matt Borchers <mattborchers@gmail.com>]

Shark8,

I have read all posts in this thread and I'm pretty sure I understand the holey array and slice problem and I do not want holey arrays.  Your example is interesting but it adds a lot of complexity.  However, that could obviously be abstracted away.

My comment was not a request but a question just as you posed:  why "some sort of automatically generated function that is invisibly integrated into this object" to do the mapping is not possible for the implementations of the 'Pos, 'First, 'Last, etc. attributes.  "This object" being an enumerated sub-type with a Static_Predicate.

I was originally trying/hoping to create a collapsed array needing only the minimal memory required to support the Static_Predicate sub-type as the index.  In my previous post I began to realize that solving this inconsistency just might result in a different inconsistency and I would not be in favor of a solution like that.

Regards,
Matt

On Wednesday, March 17, 2021 at 11:08:58 AM UTC-4, Shark8 wrote:
> Do you want such an array to hold 256 bits? One for each character with a CONSTRAINT_ERROR on bad indexing? (Meaning some sort of automatically generated function that is invisibly integrated into this object.) 
> Or are you wanting an array with holey indexes, collapsed spacewise, so that it's only 5 bits? 
> These are the questions which must be answered to even start to consider the issues at hand.