<!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>MatthewFluet - 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">
</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%;">
MatthewFluet
<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">
Matthew Fluet ( <a class="external" href="mailto:Matthew.Fluet@acm.org"><img src="moin-email.png" alt="[MAILTO]" height="10" width="14">Matthew.Fluet@acm.org</a> , <a class="external" href="http://www.cs.rit.edu/~mtf"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://www.cs.rit.edu/~mtf</a> ) is an Assistant Professor at the <a class="external" href="http://www.rit.edu"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Rochester Institute of Technology</a>. <hr>
<p>
Current MLton projects:
</p>
<ul>
<li>
<p>
general maintenance
</p>
</li>
<li>
<p>
release new version
</p>
</li>
</ul>
<hr>
<p>
Misc. and underspecified TODOs:
</p>
<ul>
<li>
<p>
Copyright check in precommit:
</p>
</li>
<ul>
<li>
<p>
<a href="http://mlton.org/pipermail/mlton/2007-November/030041.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton/2007-November/030041.html</a>
</p>
</li>
</ul>
<li>
<p>
understand <a href="RefFlatten">RefFlatten</a> and <a href="DeepFlatten">DeepFlatten</a>
</p>
</li>
<ul>
<li>
<p>
<a href="http://mlton.org/pipermail/mlton/2005-April/026990.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton/2005-April/026990.html</a>
</p>
</li>
<li>
<p>
<a href="http://mlton.org/pipermail/mlton/2007-November/030056.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton/2007-November/030056.html</a>
</p>
</li>
<li>
<p>
<a href="http://mlton.org/pipermail/mlton/2008-April/030250.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton/2008-April/030250.html</a>
</p>
</li>
<li>
<p>
<a href="http://mlton.org/pipermail/mlton/2008-July/030279.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton/2008-July/030279.html</a>
</p>
</li>
<li>
<p>
<a href="http://mlton.org/pipermail/mlton/2008-August/030312.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton/2008-August/030312.html</a>
</p>
</li>
<li>
<p>
<a href="http://mlton.org/pipermail/mlton/2008-September/030360.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton/2008-September/030360.html</a>
</p>
</li>
<li>
<p>
<a href="http://mlton.org/pipermail/mlton-user/2009-June/001542.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton-user/2009-June/001542.html</a>
</p>
</li>
</ul>
<li>
<p>
simplify <tt>Socket.Ctl</tt> implementation:
</p>
</li>
<ul>
<li>
<p>
<a href="http://mlton.org/pipermail/mlton/2007-December/030087.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton/2007-December/030087.html</a>
</p>
</li>
<li>
<p>
marshal control values via different functions, rather than via SML <tt>Word8Array.array</tt>s
</p>
</li>
</ul>
<li>
<p>
<tt>MSG_DONTWAIT</tt> isn't Posix
</p>
</li>
<li>
<p>
coordinate w/ Dan Spoonhower and Lukasz Ziarek and Armand Navabi on multi-threaded
</p>
</li>
<ul>
<li>
<p>
<a href="http://mlton.org/pipermail/mlton/2008-March/030214.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton/2008-March/030214.html</a>
</p>
</li>
</ul>
<li>
<p>
Intel Research bug: <tt>no tyconRep property</tt> (company won't release sample code)
</p>
</li>
<ul>
<li>
<p>
<a href="http://mlton.org/pipermail/mlton-user/2008-March/001358.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton-user/2008-March/001358.html</a>
</p>
</li>
</ul>
<li>
<p>
treatment of real constants
</p>
</li>
<ul>
<li>
<p>
<a href="http://mlton.org/pipermail/mlton/2008-May/030262.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton/2008-May/030262.html</a>
</p>
</li>
<li>
<p>
<a href="http://mlton.org/pipermail/mlton/2008-June/030271.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton/2008-June/030271.html</a>
</p>
</li>
</ul>
<li>
<p>
representation of bool and bool in <a href="ForeignFunctionInterface">ForeignFunctionInterface</a>
</p>
</li>
<ul>
<li>
<p>
<a href="http://mlton.org/pipermail/mlton/2008-May/030264.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton/2008-May/030264.html</a>
</p>
</li>
</ul>
<li>
<p>
<a href="http://www.icfpcontest.org">http://www.icfpcontest.org</a>
</p>
</li>
<ul>
<li>
<p>
John Reppy claims that "It looks like the card-marking overhead that one incurs when using generational collection swamps the benefits of generational collection."
</p>
</li>
</ul>
<li>
<p>
page to disk policy / single heap
</p>
</li>
<ul>
<li>
<p>
<a href="http://mlton.org/pipermail/mlton/2008-June/030278.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton/2008-June/030278.html</a>
</p>
</li>
<li>
<p>
<a href="http://mlton.org/pipermail/mlton/2008-August/030318.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton/2008-August/030318.html</a>
</p>
</li>
</ul>
<li>
<p>
<tt>MLton.GC.pack</tt> doesn't keep a small heap if a garbage collection occurs before <tt>MLton.GC.unpack</tt>.
</p>
</li>
<ul>
<li>
<p>
It might be preferable for <tt>MLton.GC.pack</tt> to be implemented as a (new) <tt>MLton.GC.Ratios.setLive 1.1</tt> followed by <tt>MLton.GC.collect ()</tt> and for <tt>MLton.GC.unpack</tt> to be implemented as <tt>MLton.GC.Ratios.setLive 8.0</tt> followed by <tt>MLton.GC.collect ()</tt>.
</p>
</li>
</ul>
<li>
<p>
The <tt>static struct GC_objectType objectTypes[] =</tt> array includes many duplicates. Objects of distinct source type, but equivalent representations (in terms of size, bytes non-pointers, number pointers) can share the objectType index.
</p>
</li>
<li>
<p>
PolySpace bug: <a href="Redundant">Redundant</a> optimization (company won't release sample code)
</p>
</li>
<ul>
<li>
<p>
<a href="http://mlton.org/pipermail/mlton/2008-September/030355.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton/2008-September/030355.html</a>
</p>
</li>
</ul>
<li>
<p>
treatment of exception raised during <a href="BasisLibrary">BasisLibrary</a> evaluation
</p>
</li>
<ul>
<li>
<p>
<a href="http://mlton.org/pipermail/mlton/2008-December/030501.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton/2008-December/030501.html</a>
</p>
</li>
<li>
<p>
<a href="http://mlton.org/pipermail/mlton/2008-December/030502.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton/2008-December/030502.html</a>
</p>
</li>
<li>
<p>
<a href="http://mlton.org/pipermail/mlton/2008-December/030503.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton/2008-December/030503.html</a>
</p>
</li>
</ul>
<li>
<p>
Use <tt>memcpy</tt>
</p>
</li>
<ul>
<li>
<p>
<a href="http://mlton.org/pipermail/mlton-user/2009-January/001506.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton-user/2009-January/001506.html</a>
</p>
</li>
<li>
<p>
<a href="http://mlton.org/pipermail/mlton/2009-January/030506.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton/2009-January/030506.html</a>
</p>
</li>
</ul>
<li>
<p>
Implement more 64bit primops in x86 codegen
</p>
</li>
<ul>
<li>
<p>
<a href="http://mlton.org/pipermail/mlton/2009-January/030507.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton/2009-January/030507.html</a>
</p>
</li>
</ul>
<li>
<p>
Enrich path-map file syntax:
</p>
</li>
<ul>
<li>
<p>
<a href="http://mlton.org/pipermail/mlton/2008-September/030348.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton/2008-September/030348.html</a>
</p>
</li>
<li>
<p>
<a href="http://mlton.org/pipermail/mlton-user/2009-January/001507.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton-user/2009-January/001507.html</a>
</p>
</li>
</ul>
<li>
<p>
PolySpace bug: crash during Cheney-copy collection
</p>
</li>
<ul>
<li>
<p>
<a href="http://mlton.org/pipermail/mlton/2009-February/030513.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton/2009-February/030513.html</a>
</p>
</li>
</ul>
<li>
<p>
eliminate <tt>-build-constants</tt>
</p>
</li>
<ul>
<li>
<p>
all <tt>_const</tt>s are known by <tt>runtime/gen/basis-ffi.def</tt>
</p>
</li>
<li>
<p>
generate <tt>gen-constants.c</tt> from <tt>basis-ffi.def</tt>
</p>
</li>
<li>
<p>
generate <tt>constants</tt> from <tt>gen-constants.c</tt> and <tt>libmlton.a</tt>
</p>
</li>
<li>
<p>
similar to <tt>gen-sizes.c</tt> and <tt>sizes</tt>
</p>
</li>
</ul>
<li>
<p>
eliminate "Windows hacks" for Cygwin from <tt>Path</tt> module
</p>
</li>
<ul>
<li>
<p>
<a href="http://mlton.org/pipermail/mlton/2009-July/030606.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton/2009-July/030606.html</a>
</p>
</li>
</ul>
<li>
<p>
extend IL type checkers to check for empty property lists
</p>
</li>
<li>
<p>
make (unsafe) <tt>IntInf</tt> conversions into primitives
</p>
</li>
<ul>
<li>
<p>
<a href="http://mlton.org/pipermail/mlton/2009-July/030622.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton/2009-July/030622.html</a>
</p>
</li>
</ul>
</ul>
</div>
<p>
<hr>
Last edited on 2010-04-02 20:55:52 by <span title="fenrir.cs.rit.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
