On Thu, Nov 17, 2011 at 3:49 AM, Axel Rauschmayer <axel at rauschma.de> wrote:
>
> Given that Array already uses `length`, it seems like the obvious choice.
"length" is my choice as well, for the same reason. It's not writable
in Maps and Sets, so the concerns about the semantics of writing it
don't apply.
Waldemar