Proposal: plpgsql - "for in array" statement

Hello

I looked on some constructs that helps with iteration over array in
plpgsql. I propose a following syntax:

FOR var IN [array variable | array expression]
LOOP ..
END LOOP

var - declared variable - theoretically we can a detect var type from
array type, but it needs a early expression an analyze (not used in
PL/pgSQL), so var should be declared before. This construct ensure
iteration over all items of array. When somebody needs a subscripts
from some dimension, then he can use a proposed function "subscripts".

so iteration over two dimensional array can be written:

DECLARE i integer; j integer;
BEGIN FOR i IN subscripts(myarray, 1) LOOP   FOR j IN subscripts(myarray, 2) LOOP     RAISE NOTICE 'myarray[%,%] = %',
i,j, myarray[i,j];   END LOOP; END LOOP;
 

When input array is multidimensional, then this array is flattened -
order of iteration is specified by physical store of items inside the
array. This construct iterate over all items of input array - it has a
same behave as "unnest" function.

some examples:

DECLARE v integer; a int[] := ARRAY[2,3.4,5];
BEGIN FOR val IN a LOOP   RAISE NOTICE '%', val; -- produce 2,3,4,5 END LOOP;
 FOR val IN subscripts(a, 1) LOOP   RAISE NOTICE '%', val; -- produce 1,2,3,4 END LOOP;
 FOR val IN subscripts(a,1) LOOP   RAISE NOTICE '%', a[val]; -- produce 2,3,4,5 END LOOP;
END;

Comments, ideas?

Regards

Pavel Stehule