Array-elementen sorteren

De beste manier om een ​​array van gehele getallen te sorteren is zonder twijfel om de intarray-extensie te gebruiken, die het veel, veel, veel sneller zal doen dan welke SQL-formulering dan ook:

CREATE EXTENSION intarray;

SELECT sort( ARRAY[4,3,2,1] );

Een functie die voor elk type array werkt, is:

CREATE OR REPLACE FUNCTION array_sort (ANYARRAY)
RETURNS ANYARRAY LANGUAGE SQL
AS $$
SELECT ARRAY(SELECT unnest($1) ORDER BY 1)
$$;

(Ik heb mijn versie vervangen door Pavel's iets snellere versie na discussie elders).