container stuff

[Jason House]

Andrei Alexandrescu Wrote:

> On 05/25/2010 09:07 PM, Walter Bright wrote:
> > Andrei Alexandrescu wrote:
> >> On 05/25/2010 08:31 PM, Walter Bright wrote:
> >>> Andrei Alexandrescu wrote:
> >>>> On 05/25/2010 07:35 PM, Walter Bright wrote:
> >>>>> Andrei Alexandrescu wrote:
> >>>>>> I've uploaded a work in progress on the container design here:
> >>>>>
> >>>>> Great! Some nitpicky comments:
> >>>>>
> >>>>> 1. What's the difference between a value and an element?
> >>>>
> >>>> None.
> >>>
> >>> Then I suggest sticking with one or the other throughout the spec. Also,
> >>> there's both an ElementType and a ValueType.
> >>
> >> Sorry, I was wrong. ValueType is defined for keyed containers to mean
> >> the mapped type. Should I call it MappedType?
> >
> > Can a container have different ElementTypes from ValueTypes?
> 
> For a hash K->V, KeyType is K, ValueType is V, and ElementType is 
> Tuple!(K, V).
> 
> Andrei

How about simple arrays? There's a lot of similarity between T[] and T[int]...