Статья 2279

Массивы, записи и множества называют базисными структурами. Во многих случаях требуются более сложные структуры, но вместо того, чтобы пытаться придумать для всех них обозначения, гораздо лучше разработать общий метод построения произвольных структур. Несмотря на то, что структура массива, записи или множества остается неизменной в процессе выполнения программы, более сложные структуры могут допускать наращивание, сокращение или изменение топологии. И хотя все базисные структуры статичны, производные от них структуры - динамичны.
Поскольку размер динамической структуры подвержен изменениям, его нельзя задать никаким инвариантным описанием, а следует определить в алгоритмической части программы. По той же причине сама программа, а не компилятор, должна отводить место в памяти под эти структуры. Казалось бы, это является слабым местом, поскольку правильность такой структуры никак нельзя проверить во время компиляции.