[MLton] array flattening

Matthew Fluet fluet@cs.cornell.edu
Fri, 9 Jul 2004 11:41:08 -0400 (EDT)


> I  am  very  interested  in what the array flattening thing will do since its
> lack is one of the biggest space inefficiencies that I see in generated MLton
> code.   Despite  that,  I  guess that it will cause some things to get worse.
> E.g., if I create an array with
>         Array.array (1000000, (0, 0))
> then it currently that takes only 4 bytes per element, while, I assume,  your
> proposed optimization will flatten out things, so it will be 8 bytes per.

Worse in what way?  Really, the former is 4 + (4 + 2 * 4) bytes per
element while the later will be 8 bytes per.  So, you are definitely
winning overall.