In the interest of portability, it might be a good idea to
 standardize and unify some of the common extensions that are present in different SML compilers. MLton and SML/NJ in particular are already largely compatible and complement each other well - SML/NJ for rapid development and the REPL and MLton for compiling the final release of a program.<br>
Would there be any interest in unifying common extensions under a Platform or System structure that exposes a generic interface to things such as weak pointers and the garbage collector?<br><br>Ivan<br>