如何在postgresql中对未知数量的布尔值执行AND？

CREATE OR REPLACE FUNCTION bool_and_agg(bool_array boolean[])
RETURNS boolean
AS $$
DECLARE
  result boolean := true;
  i integer := 1;
BEGIN
  IF array_length(bool_array, 1) = 0 THEN
    RETURN NULL;
  END IF;

  WHILE i <= array_length(bool_array, 1) AND result LOOP
    result := result AND bool_array[i];
    i := i + 1;
  END LOOP;

  RETURN result;
END;
$$ LANGUAGE plpgsql;

SELECT bool_and_agg(ARRAY[true, false, true, true]);