[MLton-devel] types for RSSA

[Henry Cejtin]

You  are  correct that without either the ability for a ref to point into the
middle of some larger object (which wouldn't be safe for space) or some  kind
of linearity analysis, you can't make it work.

Partly  for  me it is an esthetic argument: only ref cells should be mutable.
Partly it is that the code is often cleaner to write as a vector of refs, and
I  don't  want  to  pay extra for this.  In this case my notion is that MLton
would inline enough stuff that a trivial linearity  analysis  would  suffice.
Of  course I don't know what analysis would be sufficient, so it might end up
not being trivial at all.


-------------------------------------------------------
This sf.net email is sponsored by: To learn the basics of securing 
your web site with SSL, click here to get a FREE TRIAL of a Thawte 
Server Certificate: http://www.gothawte.com/rd524.html
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel