container stuff

[Andrei Alexandrescu]

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