Aren't regions good for heap but problematic for static data ( and maybe stack) ? tagging all static data would be expensive ( though static immutable data is often const or readonly so maybe there is some way)
> Other collections should be indexable, and it should be possible to construct nat-indexable collections that do not use arrays as their implementation. But "vector as reference to array whose size is not part of its type" is still a very useful concept. I suppose it depends on how dependable types work out eg the dynamic array discussed in the ring buffer . If it is handled well by dependable types I see no purpose for vectors in the language ( obviously it will be in the run time) Ben
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
