[MLton] array flattening
Fri, 9 Jul 2004 10:45:32 -0500
No, I am talking about the space used just after you execute
Array.array (1000000, (0, 0))
With the current indirection, all the array slots share the same int * int,
so it is just 4 bytes per element plus the header for a single array and
the header for the single tuple.
I agree, if you change most of the elemnts to newly cons'd tuples then it is
a win at that point, but not if most of them retain this initial value.