container stuff

[Walter Bright]

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

Ok, that makes it clear, and it needs to be in the spec.