Here's a few words on whether we should allow and whether we can forbid: >>> something[]
First, in
>>> something[x=1]
what I call the argv is empty, as it is with
>>> something[]
If we represent an empty argv by passing the empty tuple () to __getitem__, then how are
>>> something[(), x=1]
>>> something[x=1]
to be distinguished from each other? Or perhaps they shouldn't be.
Next, if
>>> something[*argv]
is allowed, then what was a syntax error becomes a run-time error. Put another way, an optimising compiler might want to raise syntax error for
>>> something[*()]
although I think that would be wrong. Compare with
>>> 1 if True else 1 / 0
1
as its possible that something[*()] won't be called.
Finally, even if we forbid
>>> something[*argv]
in order to prevent the empty key, the door is still open. We can use
>>> something[**dict()]
to access something with the empty key (assuming ** arguments are allowed).
And one more thing. There's rightly a strong association between [] and an empty list literal. To my mind, this makes
>>> d[]
look very odd. We're expecting something, but there's nothing there. Perhaps
>>> d[-]
would work better for signifying an empty key. Here, '[-]' is a special syntactic token.
Aside: Consistent with this, we could use
>>> {-}
for the empty set literal. At present the closest we can do for an empty set literal is
>>> {0} - {0}
set()
I hope all this helps.
--
Jonathan