[MLton] SML# and libraries (fwd)

[Matthew Fluet]

A pointer to Atsushi Ohori's SML# compiler, tools, and libraries from Jan 
Midtgaard.

---------- Forwarded message ----------
Date: Thu, 26 Oct 2006 17:08:10 +0200
From: Jan Midtgaard <jmi at brics.dk>
To: Matthew Fluet <fluet at cs.cornell.edu>
Subject: SML# and libraries

Hi Matthew

[...personal...]

Anyway, I am following the MLton lists over gmane, and I thought I
would point out the SML# implementation to you, as you guys probably
would be interested.

Despite its name it has nothing to do with .NET. Atsushi Ohori
apparently started the thing in 1993 as an extension of SML/NJ. Since
then it seems it was rewritten from scratch:

       http://www.pllab.riec.tohoku.ac.jp/smlsharp/

Furthermore it is hard to find by googling. Perhaps it should be added
to MLton's list of implementations?

       http://mlton.org/StandardMLImplementations



Anyway, they seem to have developed a few tools that might interest you:

         http://www.pllab.riec.tohoku.ac.jp/smlsharp/?Tools

   SMLFormat - pretty printer generator for Standard ML
   SMLDoc    - document generator for Standard ML
   SMLUnit   - regression testing framework for Standard ML

as well as a scripting library:

   Scripting - This library provides you with ease of programming like
               scripting-languages.


- all of which seem relevant to the recent MLton-library and
documentation-tool discussions on mlton-devel.


Enjoy! :-)


Kind regards


//Jan