Array with dynamically changed bounds can be created from any mutable array type by using type converter Dynamic. I have created synonyms for widely used array constructors, for example DynamicIOUArray Int Double. Dynamic array supports the same MArray and HasMutableBounds interfaces as other mutable arrays, but they don't support HasBounds interface. Dynamic array can be resized explicitly by operation resizeDynamicArray.

Dynamic array can also grow automatically when writeArray is used with index that is out of current array bounds. For this to work, array should be created using non-standard operations newDynamicArray or newDynamicArray_. The first argument of these operations is growing strategy, i.e. the function of type `GrowBoundsF i`, other arguments are the same as for newArray/newArray_. The predefined growing strategies include noGrow that disables automatic growing, growMinimally that extends array only to include new index and growTwoTimes that extend array at least 2 times each time it needs to grow.

When array grows, either explicitly or automatically, new elements are initialized with init value if this array was created by newArray/newDynamicArray.