[MLton-devel] CPU utilization

[Stephen Weeks]

> It really is too bad (sorry, I can't resist) that the MLton library isn't
> more documented.

I agree.  I'd rate it as very important, but less important than the
front end.

One thing I was thinking about was whether the library should be
integrated with the MLton structure or should be a separate piece.
The advantage of integrating is that we have all our libraries in once
place, and get to use hidden parts of the MLton structure.  The
disadvantage is how do we then compile such programs with other
compilers.  At the very least, for type checking it would require
building stubs like we have now for the MLton structure.  Those stubs
are already pretty big and a waste of effort, and would probably
become unmanageable if we tried to move a significant chunk of
lib/mlton into the MLton structure.

So, my thinking is that some day, once MLton is useable as a
standalone development environment (meaning type checker and fast
compiler), we move the lib/mlton into the MLton structure, eliminate
the stubs, and punt on being able to compile programs that use the
MLton structure with other compilers.  This would of course include
MLton itself.  I am already to the point where I never use the SML/NJ
compiled MLton to bootstrap.  I only ever use it for type checking
MLton and running quick tests.  So it's not such a big step to
eliminate SML/NJ entirely.

> The amusing thing about these tapeworms is to realize just how fast our
> machines are these days.  For the last 2 months you only got to use 1/2 of it
> and didn't notice until now.

True.  Although most anything with serious computing I do on my server
(until the ICFP contest that is, which is when I noticed almost
immediately, but put the blame on MLton).



-------------------------------------------------------
This SF.Net email sponsored by: Free pre-built ASP.NET sites including
Data Reports, E-commerce, Portals, and Forums are available now.
Download today and enter to win an XBOX or Visual Studio .NET.
http://aspnet.click-url.com/go/psa00100006ave/direct;at.asp_061203_01/01
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel