Piet van Oostrum <piet at cs.uu.nl> wrote: > We could then also have one for ints rather than bools: > > i -> [ v_0, v_1, v_2, ... ] > which would pick v_i and evaluate that. > Also here the [ ] is not really a list notation but belongs to the ->. Just to inject a bit of history, this is FORTRAN's computed goto wrapped up as an expression.