[MLton] Welcome to Vesa Karvonen

Vesa Karvonen vesa.karvonen@cs.helsinki.fi
Thu, 16 Jun 2005 19:33:40 +0300

Quoting Matthew Fluet <fluet@cs.cornell.edu>:
> Welcome.  I would love to see some more work on useful libraries.


> I've played around a bit with John Reppy's ml-doc system, the system that
> produces the Standard ML Basis Library webpages, and have found it to be 
> convenient, if not perfect.  It does have the advantage of ultimately 
> giving a consistent look and feel to the Standard Basis Library and any 
> additional library documentation.

I have downloaded the ML-Doc system some time ago, but I was put off by
the lack of both documentation(!) and examples (or maybe I didn't look
hard enough). I would really appreciate it if someone would write (or
provide a link to) a short tutorial and a small example (tarball of
properly setup files) of the use of the ML-Doc system. I think that it
would save a lot of time for many people.

The HTML produced by ML-Doc seems pretty good, but I think that there is
still room for improvement. In particular, it is annoying that some
links are broken. For example, try clicking on the foldri-link on the
Array structure page interface summary:


Also, while the interface summary produced by the tools is cute, I would
like to see a summary sentence next to each declaration. The same goes
for the index; I would also like to see an alphabetical index
where each name would be on a line with a summary sentence. Again, the
same goes for the "Manual pages" page.

Of course, since the sources are available, something can be probably
be done with reasonable effort.

> I would also like to encourage you to write up your little 'for-loop'
> combinator library from comp.lang.functional for the mlton.org Wiki,
> hanging it off of the "StandardML" page.

Done: http://mlton.org/ForLoops

Feel free to comment and edit. However, I must say that I don't have
experience using the library as I don't use a lot of for-loops in
my SML programming. The idea for the library occured to me while
writing a reply to a post on the comp.lang.functional discussion.

I would like to hear if anyone can think of a non-obvious drawback
with the (very simple) technique presented here:


The idea occured to me after I wrote the first version of the
for-loop combinator library and I don't recall having seen the
technique explicitly documented earlier. I have, of course,
encountered the problem much earlier while writing a simple
(non-monadic) parser combinator library and I wouldn't be
surprised if the technique has been explored earlier.

-Vesa Karvonen