<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"> <html> <head> <meta name="robots" content="index,nofollow"> <title>VesaKarvonen - MLton Standard ML Compiler (SML Compiler)</title> <link rel="stylesheet" type="text/css" charset="iso-8859-1" media="all" href="common.css"> <link rel="stylesheet" type="text/css" charset="iso-8859-1" media="screen" href="screen.css"> <link rel="stylesheet" type="text/css" charset="iso-8859-1" media="print" href="print.css"> <link rel="Start" href="Home"> <link rel="Appendix" title="vesa-in-mlton-t-shirt.jpg" href="http://mlton.org/pages/VesaKarvonen/attachments/vesa-in-mlton-t-shirt.jpg"> </head> <body lang="en" dir="ltr"> <script src="http://www.google-analytics.com/urchin.js" type="text/javascript"> </script> <script type="text/javascript"> _uacct = "UA-833377-1"; urchinTracker(); </script> <table bgcolor = lightblue cellspacing = 0 style = "border: 0px;" width = 100%> <tr> <td style = " border: 0px; color: darkblue; font-size: 150%; text-align: left;"> <a class = mltona href="Home">MLton MLTONWIKIVERSION</a> <td style = " border: 0px; font-size: 150%; text-align: center; width: 50%;"> VesaKarvonen <td style = " border: 0px; text-align: right;"> <table cellspacing = 0 style = "border: 0px"> <tr style = "vertical-align: middle;"> </table> <tr style = "background-color: white;"> <td colspan = 3 style = " border: 0px; font-size:70%; text-align: right;"> <a href = "Home">Home</a> <a href = "TitleIndex">Index</a> </table> <div id="content" lang="en" dir="ltr"> Vesa Karvonen is a student at the <a class="external" href="http://www.cs.helsinki.fi/index.en.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">University of Helsinki</a>. His interests lie in programming techniques that allow complex programs to be expressed clearly and concisely and the design and implementation of programming languages. <p> <img src="http://mlton.org/pages/VesaKarvonen/attachments/vesa-in-mlton-t-shirt.jpg?ts=1187963111" alt="vesa-in-mlton-t-shirt.jpg"> </p> <p> Things he'd like to see for SML and hopes to be able to contribute towards: </p> <ul> <li> <p> A practical tool for documenting libraries. Preferably one that is based on extracting the documentation from source code comments. </p> </li> <li class="gap"> <p> A good IDE. Possibly an enhanced SML mode (<tt>esml-mode</tt>) for Emacs. Google for <a class="external" href="http://www.google.com/search?&q=SLIME+video"><img src="moin-www.png" alt="[WWW]" height="11" width="11">SLIME video</a> to get an idea of what he'd like to see. Some specific notes: </p> </li> <ul> <li> <p> show type at point </p> </li> <li> <p> robust, consistent indentation </p> </li> <li> <p> show documentation </p> </li> <li> <p> jump to definition (see <a href="EmacsDefUseMode">EmacsDefUseMode</a>) </p> </li> </ul> <a href="EmacsBgBuildMode">EmacsBgBuildMode</a> has also been written for working with MLton. <li class="gap"> <p> Documented and cataloged libraries. Perhaps something like <a class="external" href="http://www.boost.org"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Boost</a>, but for SML libraries. Here is a partial list of libraries, tools, and frameworks Vesa is or has been working on: </p> </li> <ul> <li> <p> Asynchronous Programming Library (<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mltonlib/trunk/com/ssh/async/unstable/README?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">README</a>) </p> </li> <li> <p> Extended Basis Library (<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mltonlib/trunk/com/ssh/extended-basis/unstable/README?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">README</a>) </p> </li> <li> <p> Generic Programming Library (<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mltonlib/trunk/com/ssh/generic/unstable/README?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">README</a>) </p> </li> <li> <p> Pretty Printing Library (<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mltonlib/trunk/com/ssh/prettier/unstable/README?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">README</a>) </p> </li> <li> <p> Random Generator Library (<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mltonlib/trunk/com/ssh/random/unstable/README?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">README</a>) </p> </li> <li> <p> RPC (Remote Procedure Call) Library (<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mltonlib/trunk/org/mlton/vesak/rpc-lib/unstable/README?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">README</a>) </p> </li> <li> <p> <a class="external" href="http://www.libsdl.org/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">SDL</a> Binding (<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mltonlib/trunk/org/mlton/vesak/sdl/unstable/README?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">README</a>) </p> </li> <li> <p> Unit Testing Library (<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mltonlib/trunk/com/ssh/unit-test/unstable/README?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">README</a>) </p> </li> <li> <p> Use Library (<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mltonlib/trunk/org/mlton/vesak/use-lib/unstable/README?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">README</a>) </p> </li> <li> <p> Windows Library (<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mltonlib/trunk/com/ssh/windows/unstable/README?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">README</a>) </p> </li> </ul> Note that most of these libraries have been ported to several <a href="StandardMLImplementations">SML implementations</a>. </ul> </div> <p> <hr> Last edited on 2008-10-20 06:09:05 by <span title="cs181038080.pp.htv.fi"><a href="VesaKarvonen">VesaKarvonen</a></span>. </body></html>