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
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml