[MLton-devel] Re: Datatype optimization? posting

[Henry Cejtin]

I  saw  your posting on comp.lang.ml on storage representation for 'a option.
You didn't mention what I think  of  as  the  critical  point:  if  you  have
polymorphic  functions, you really can't optimize the representation as MLton
does without some other trick.  (Think about the valOf function.)

These tricks aren't trivial as represented by SML/NJ not being safe-for-space
because of trying them.


-------------------------------------------------------
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