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]...
