<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<meta name="generator" content="Asciidoctor 2.0.23">
<title>MatthewFluet</title>
<link rel="stylesheet" href="https://fonts.googleapis.com/css?family=Open+Sans:300,300italic,400,400italic,600,600italic%7CNoto+Serif:400,400italic,700,700italic%7CDroid+Sans+Mono:400,700">
<link rel="stylesheet" href="./asciidoctor.css">
<link rel="stylesheet" href="./mlton.css">

</head>
<body class="article">
<div id="mlton-header">
<div id="mlton-header-text">
<h2>
<a href="./Home">
MLton
20241230
</a>
</h2>
</div>
</div>
<div id="header">
<h1>MatthewFluet</h1>
</div>
<div id="content">
<div class="paragraph">
<p>Matthew Fluet (
<a href="mailto:matthew.fluet@gmail.com">matthew.fluet@gmail.com</a>
,
<a href="http://www.cs.rit.edu/%7Emtf" class="bare">http://www.cs.rit.edu/%7Emtf</a>
)
is an Assistant Professor at the <a href="http://www.rit.edu">Rochester Institute of Technology</a>.</p>
</div>
<hr>
<div class="paragraph">
<p>Current MLton projects:</p>
</div>
<div class="ulist">
<ul>
<li>
<p>general maintenance</p>
</li>
<li>
<p>release new version</p>
</li>
</ul>
</div>
<hr>
<div class="paragraph">
<p>Misc. and underspecified TODOs:</p>
</div>
<div class="ulist">
<ul>
<li>
<p>understand <a href="RefFlatten">RefFlatten</a> and <a href="DeepFlatten">DeepFlatten</a></p>
<div class="ulist">
<ul>
<li>
<p><a href="http://www.mlton.org/pipermail/mlton/2005-April/026990.html" class="bare">http://www.mlton.org/pipermail/mlton/2005-April/026990.html</a></p>
</li>
<li>
<p><a href="http://www.mlton.org/pipermail/mlton/2007-November/030056.html" class="bare">http://www.mlton.org/pipermail/mlton/2007-November/030056.html</a></p>
</li>
<li>
<p><a href="http://www.mlton.org/pipermail/mlton/2008-April/030250.html" class="bare">http://www.mlton.org/pipermail/mlton/2008-April/030250.html</a></p>
</li>
<li>
<p><a href="http://www.mlton.org/pipermail/mlton/2008-July/030279.html" class="bare">http://www.mlton.org/pipermail/mlton/2008-July/030279.html</a></p>
</li>
<li>
<p><a href="http://www.mlton.org/pipermail/mlton/2008-August/030312.html" class="bare">http://www.mlton.org/pipermail/mlton/2008-August/030312.html</a></p>
</li>
<li>
<p><a href="http://www.mlton.org/pipermail/mlton/2008-September/030360.html" class="bare">http://www.mlton.org/pipermail/mlton/2008-September/030360.html</a></p>
</li>
<li>
<p><a href="http://www.mlton.org/pipermail/mlton-user/2009-June/001542.html" class="bare">http://www.mlton.org/pipermail/mlton-user/2009-June/001542.html</a></p>
</li>
</ul>
</div>
</li>
<li>
<p><code>MSG_DONTWAIT</code> isn&#8217;t Posix</p>
</li>
<li>
<p>coordinate w/ Dan Spoonhower and Lukasz Ziarek and Armand Navabi on multi-threaded</p>
<div class="ulist">
<ul>
<li>
<p><a href="http://www.mlton.org/pipermail/mlton/2008-March/030214.html" class="bare">http://www.mlton.org/pipermail/mlton/2008-March/030214.html</a></p>
</li>
</ul>
</div>
</li>
<li>
<p>Intel Research bug: <code>no tyconRep property</code> (company won&#8217;t release sample code)</p>
<div class="ulist">
<ul>
<li>
<p><a href="http://www.mlton.org/pipermail/mlton-user/2008-March/001358.html" class="bare">http://www.mlton.org/pipermail/mlton-user/2008-March/001358.html</a></p>
</li>
</ul>
</div>
</li>
<li>
<p>treatment of real constants</p>
<div class="ulist">
<ul>
<li>
<p><a href="http://www.mlton.org/pipermail/mlton/2008-May/030262.html" class="bare">http://www.mlton.org/pipermail/mlton/2008-May/030262.html</a></p>
</li>
<li>
<p><a href="http://www.mlton.org/pipermail/mlton/2008-June/030271.html" class="bare">http://www.mlton.org/pipermail/mlton/2008-June/030271.html</a></p>
</li>
</ul>
</div>
</li>
<li>
<p>representation of <code>bool</code> and <code>_bool</code> in <a href="ForeignFunctionInterface">ForeignFunctionInterface</a></p>
<div class="ulist">
<ul>
<li>
<p><a href="http://www.mlton.org/pipermail/mlton/2008-May/030264.html" class="bare">http://www.mlton.org/pipermail/mlton/2008-May/030264.html</a></p>
</li>
</ul>
</div>
</li>
<li>
<p><a href="http://www.icfpcontest.org" class="bare">http://www.icfpcontest.org</a></p>
<div class="ulist">
<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>
</div>
</li>
<li>
<p>page to disk policy / single heap</p>
<div class="ulist">
<ul>
<li>
<p><a href="http://www.mlton.org/pipermail/mlton/2008-June/030278.html" class="bare">http://www.mlton.org/pipermail/mlton/2008-June/030278.html</a></p>
</li>
<li>
<p><a href="http://www.mlton.org/pipermail/mlton/2008-August/030318.html" class="bare">http://www.mlton.org/pipermail/mlton/2008-August/030318.html</a></p>
</li>
</ul>
</div>
</li>
<li>
<p><code>MLton.GC.pack</code> doesn&#8217;t keep a small heap if a garbage collection occurs before <code>MLton.GC.unpack</code>.</p>
<div class="ulist">
<ul>
<li>
<p>It might be preferable for <code>MLton.GC.pack</code> to be implemented as a (new) <code>MLton.GC.Ratios.setLive 1.1</code> followed by <code>MLton.GC.collect ()</code> and for <code>MLton.GC.unpack</code> to be implemented as <code>MLton.GC.Ratios.setLive 8.0</code> followed by <code>MLton.GC.collect ()</code>.</p>
</li>
</ul>
</div>
</li>
<li>
<p>The <code>static struct GC_objectType objectTypes[] =</code> 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&#8217;t release sample code)</p>
<div class="ulist">
<ul>
<li>
<p><a href="http://www.mlton.org/pipermail/mlton/2008-September/030355.html" class="bare">http://www.mlton.org/pipermail/mlton/2008-September/030355.html</a></p>
</li>
</ul>
</div>
</li>
<li>
<p>treatment of exception raised during <a href="BasisLibrary">BasisLibrary</a> evaluation</p>
<div class="ulist">
<ul>
<li>
<p><a href="http://www.mlton.org/pipermail/mlton/2008-December/030501.html" class="bare">http://www.mlton.org/pipermail/mlton/2008-December/030501.html</a></p>
</li>
<li>
<p><a href="http://www.mlton.org/pipermail/mlton/2008-December/030502.html" class="bare">http://www.mlton.org/pipermail/mlton/2008-December/030502.html</a></p>
</li>
<li>
<p><a href="http://www.mlton.org/pipermail/mlton/2008-December/030503.html" class="bare">http://www.mlton.org/pipermail/mlton/2008-December/030503.html</a></p>
</li>
</ul>
</div>
</li>
<li>
<p>Use <code>memcpy</code></p>
<div class="ulist">
<ul>
<li>
<p><a href="http://www.mlton.org/pipermail/mlton-user/2009-January/001506.html" class="bare">http://www.mlton.org/pipermail/mlton-user/2009-January/001506.html</a></p>
</li>
<li>
<p><a href="http://www.mlton.org/pipermail/mlton/2009-January/030506.html" class="bare">http://www.mlton.org/pipermail/mlton/2009-January/030506.html</a></p>
</li>
</ul>
</div>
</li>
<li>
<p>Implement more 64bit primops in x86 codegen</p>
<div class="ulist">
<ul>
<li>
<p><a href="http://www.mlton.org/pipermail/mlton/2009-January/030507.html" class="bare">http://www.mlton.org/pipermail/mlton/2009-January/030507.html</a></p>
</li>
</ul>
</div>
</li>
<li>
<p>Enrich path-map file syntax:</p>
<div class="ulist">
<ul>
<li>
<p><a href="http://www.mlton.org/pipermail/mlton/2008-September/030348.html" class="bare">http://www.mlton.org/pipermail/mlton/2008-September/030348.html</a></p>
</li>
<li>
<p><a href="http://www.mlton.org/pipermail/mlton-user/2009-January/001507.html" class="bare">http://www.mlton.org/pipermail/mlton-user/2009-January/001507.html</a></p>
</li>
</ul>
</div>
</li>
<li>
<p>PolySpace bug: crash during Cheney-copy collection</p>
<div class="ulist">
<ul>
<li>
<p><a href="http://www.mlton.org/pipermail/mlton/2009-February/030513.html" class="bare">http://www.mlton.org/pipermail/mlton/2009-February/030513.html</a></p>
</li>
</ul>
</div>
</li>
<li>
<p>eliminate <code>-build-constants</code></p>
<div class="ulist">
<ul>
<li>
<p>all <code>_const</code>-s are known by <code>runtime/gen/basis-ffi.def</code></p>
</li>
<li>
<p>generate <code>gen-constants.c</code> from <code>basis-ffi.def</code></p>
</li>
<li>
<p>generate <code>constants</code> from <code>gen-constants.c</code> and <code>libmlton.a</code></p>
</li>
<li>
<p>similar to <code>gen-sizes.c</code> and <code>sizes</code></p>
</li>
</ul>
</div>
</li>
<li>
<p>eliminate "Windows hacks" for Cygwin from <code>Path</code> module</p>
<div class="ulist">
<ul>
<li>
<p><a href="http://www.mlton.org/pipermail/mlton/2009-July/030606.html" class="bare">http://www.mlton.org/pipermail/mlton/2009-July/030606.html</a></p>
</li>
</ul>
</div>
</li>
<li>
<p>extend IL type checkers to check for empty property lists</p>
</li>
<li>
<p>make (unsafe) <code>IntInf</code> conversions into primitives</p>
<div class="ulist">
<ul>
<li>
<p><a href="http://www.mlton.org/pipermail/mlton/2009-July/030622.html" class="bare">http://www.mlton.org/pipermail/mlton/2009-July/030622.html</a></p>
</li>
</ul>
</div>
</li>
</ul>
</div>
</div>
<div id="mlton-footer">
<div id="mlton-footer-text">
<div>
Last updated Thu Oct 21 15:53:06 2021 -0400 by Matthew Fluet.
<a href="https://github.com/MLton/mlton/commits/master/doc/guide/src/MatthewFluet.adoc">Log</a>
<a href="https://github.com/MLton/mlton/edit/master/doc/guide/src/MatthewFluet.adoc">Edit</a>
</div>
</div>
</body>
</html>