container stuff

[Andrei Alexandrescu]

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