From: Matthew F. <fl...@cs...> - 2005-03-14 20:50:22
|
> I agree about the importance of libraries. I think that there are two > issues that as a community we need to solve before we can hope to > have the same level of library support that Python and its ilk have. > > 1) a portable way to specify build scripts. When I write a library for > SML/NJ, I use CM, but there is no easy way to port my library to > MLton, or Moscow ML, or the MLKit, or ... Matthias Blume proposed > a solution to this problem on this mailing list a year or two ago, but > there was little or no response from other implementations. One can transform a SML/NJ CM project into a MLton MLB project using the cm2mlb tool, described at the bottom of: http://mlton.org/CompilationManager This tool uses the SML/NJ $/pgraph.cm library internally. But, John is right, the tool should really be pgd2mlb and the corresponding mlb2pgd tool should be written as well. |