performance-schonend nicht unbedingt. Du musst deinem bestehenden array zuerst sagen, dass es um die 10.000 Einträge wachsen soll (SetLength(array, Length(array) + 10000)
und dann einzeln die Daten einfügen oder per Move() alle Daten durch den Speicher auf einmal kopieren. Dürfen nur keine Strings mit variabler Länge sein. Dabei hast du das neue Array kurzzeitig 2x im Speicher bevor du es 1x wieder aus dem Speicher entfernst.
Bernhard