Andrei Alexandrescu Wrote: > On 05/26/2010 07:38 AM, Jason House wrote: > > 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]... > > A simple array doesn't have a Tuple as the unit of storage. Indexing is > a consequence of array's layout so I consider it different. > > Andrei
if I understand your logic, then a trie would also lack a (key,value) tuple for the element type?