refactor: allow array constructor take type information #873
Description
i.e, we need to know the type vector(8) (the vector cardinality 8) in advance in order to allocate space for each of the element of the array.
{{ message }}
i.e, we need to know the type vector(8) (the vector cardinality 8) in advance in order to allocate space for each of the element of the array.