This sounds like an ML tuple but tuples are always immutable i.e. the fields cannot be updated. In ML "array" is used for an updatable data-structure. Is that what you mean? By "known size" do you mean a size specified at compile-time? Are the index values always compile-time constants or can they be calculated at run-time?

Regards, David

On 10/03/2011 22:07, Yue Li wrote:

Dear David,

Is there any way to create a heterogeneous array in the Poly/ML codetree with known size, but whose elements can be values of any type and I don't necessarily want to use ML-style datatype. For instance, elements in the array can be integer values, or function values or arrays?

Best,

Yue