doc/guide/localhost/MatthewFluet

   1 <!DOCTYPE html>
   2 <html lang="en">
   3 <head>
   4 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
   5 <meta name="generator" content="AsciiDoc 8.6.9">
   6 <title>MatthewFluet</title>
   7 <link rel="stylesheet" href="./asciidoc.css" type="text/css">
   8 <link rel="stylesheet" href="./pygments.css" type="text/css">
   9
  10
  11 <script type="text/javascript" src="./asciidoc.js"></script>
  12 <script type="text/javascript">
  13 /*<![CDATA[*/
  14 asciidoc.install();
  15 /*]]>*/
  16 </script>
  17 <link rel="stylesheet" href="./mlton.css" type="text/css">
  18 </head>
  19 <body class="article">
  20 <div id="banner">
  21 <div id="banner-home">
  22 <a href="./Home">MLton 20180207</a>
  23 </div>
  24 </div>
  25 <div id="header">
  26 <h1>MatthewFluet</h1>
  27 </div>
  28 <div id="content">
  29 <div id="preamble">
  30 <div class="sectionbody">
  31 <div class="paragraph"><p>Matthew Fluet (
  32 <a href="mailto:matthew.fluet@gmail.com">matthew.fluet@gmail.com</a>
  33 ,
  34 <a href="http://www.cs.rit.edu/%7Emtf">http://www.cs.rit.edu/%7Emtf</a>
  35 )
  36 is an Assistant Professor at the <a href="http://www.rit.edu">Rochester Institute of Technology</a>.</p></div>
  37 <hr>
  38 <div class="paragraph"><p>Current MLton projects:</p></div>
  39 <div class="ulist"><ul>
  40 <li>
  41 <p>
  42 general maintenance
  43 </p>
  44 </li>
  45 <li>
  46 <p>
  47 release new version
  48 </p>
  49 </li>
  50 </ul></div>
  51 <hr>
  52 <div class="paragraph"><p>Misc. and underspecified TODOs:</p></div>
  53 <div class="ulist"><ul>
  54 <li>
  55 <p>
  56 understand <a href="RefFlatten">RefFlatten</a> and <a href="DeepFlatten">DeepFlatten</a>
  57 </p>
  58 <div class="ulist"><ul>
  59 <li>
  60 <p>
  61 <a href="http://www.mlton.org/pipermail/mlton/2005-April/026990.html">http://www.mlton.org/pipermail/mlton/2005-April/026990.html</a>
  62 </p>
  63 </li>
  64 <li>
  65 <p>
  66 <a href="http://www.mlton.org/pipermail/mlton/2007-November/030056.html">http://www.mlton.org/pipermail/mlton/2007-November/030056.html</a>
  67 </p>
  68 </li>
  69 <li>
  70 <p>
  71 <a href="http://www.mlton.org/pipermail/mlton/2008-April/030250.html">http://www.mlton.org/pipermail/mlton/2008-April/030250.html</a>
  72 </p>
  73 </li>
  74 <li>
  75 <p>
  76 <a href="http://www.mlton.org/pipermail/mlton/2008-July/030279.html">http://www.mlton.org/pipermail/mlton/2008-July/030279.html</a>
  77 </p>
  78 </li>
  79 <li>
  80 <p>
  81 <a href="http://www.mlton.org/pipermail/mlton/2008-August/030312.html">http://www.mlton.org/pipermail/mlton/2008-August/030312.html</a>
  82 </p>
  83 </li>
  84 <li>
  85 <p>
  86 <a href="http://www.mlton.org/pipermail/mlton/2008-September/030360.html">http://www.mlton.org/pipermail/mlton/2008-September/030360.html</a>
  87 </p>
  88 </li>
  89 <li>
  90 <p>
  91 <a href="http://www.mlton.org/pipermail/mlton-user/2009-June/001542.html">http://www.mlton.org/pipermail/mlton-user/2009-June/001542.html</a>
  92 </p>
  93 </li>
  94 </ul></div>
  95 </li>
  96 <li>
  97 <p>
  98 <span class="monospaced">MSG_DONTWAIT</span> isn&#8217;t Posix
  99 </p>
 100 </li>
 101 <li>
 102 <p>
 103 coordinate w/ Dan Spoonhower and Lukasz Ziarek and Armand Navabi on multi-threaded
 104 </p>
 105 <div class="ulist"><ul>
 106 <li>
 107 <p>
 108 <a href="http://www.mlton.org/pipermail/mlton/2008-March/030214.html">http://www.mlton.org/pipermail/mlton/2008-March/030214.html</a>
 109 </p>
 110 </li>
 111 </ul></div>
 112 </li>
 113 <li>
 114 <p>
 115 Intel Research bug: <span class="monospaced">no tyconRep property</span> (company won&#8217;t release sample code)
 116 </p>
 117 <div class="ulist"><ul>
 118 <li>
 119 <p>
 120 <a href="http://www.mlton.org/pipermail/mlton-user/2008-March/001358.html">http://www.mlton.org/pipermail/mlton-user/2008-March/001358.html</a>
 121 </p>
 122 </li>
 123 </ul></div>
 124 </li>
 125 <li>
 126 <p>
 127 treatment of real constants
 128 </p>
 129 <div class="ulist"><ul>
 130 <li>
 131 <p>
 132 <a href="http://www.mlton.org/pipermail/mlton/2008-May/030262.html">http://www.mlton.org/pipermail/mlton/2008-May/030262.html</a>
 133 </p>
 134 </li>
 135 <li>
 136 <p>
 137 <a href="http://www.mlton.org/pipermail/mlton/2008-June/030271.html">http://www.mlton.org/pipermail/mlton/2008-June/030271.html</a>
 138 </p>
 139 </li>
 140 </ul></div>
 141 </li>
 142 <li>
 143 <p>
 144 representation of <span class="monospaced">bool</span> and <span class="monospaced">_bool</span> in <a href="ForeignFunctionInterface">ForeignFunctionInterface</a>
 145 </p>
 146 <div class="ulist"><ul>
 147 <li>
 148 <p>
 149 <a href="http://www.mlton.org/pipermail/mlton/2008-May/030264.html">http://www.mlton.org/pipermail/mlton/2008-May/030264.html</a>
 150 </p>
 151 </li>
 152 </ul></div>
 153 </li>
 154 <li>
 155 <p>
 156 <a href="http://www.icfpcontest.org">http://www.icfpcontest.org</a>
 157 </p>
 158 <div class="ulist"><ul>
 159 <li>
 160 <p>
 161 John Reppy claims that "It looks like the card-marking overhead that one incurs when using generational collection swamps the benefits of generational collection."
 162 </p>
 163 </li>
 164 </ul></div>
 165 </li>
 166 <li>
 167 <p>
 168 page to disk policy / single heap
 169 </p>
 170 <div class="ulist"><ul>
 171 <li>
 172 <p>
 173 <a href="http://www.mlton.org/pipermail/mlton/2008-June/030278.html">http://www.mlton.org/pipermail/mlton/2008-June/030278.html</a>
 174 </p>
 175 </li>
 176 <li>
 177 <p>
 178 <a href="http://www.mlton.org/pipermail/mlton/2008-August/030318.html">http://www.mlton.org/pipermail/mlton/2008-August/030318.html</a>
 179 </p>
 180 </li>
 181 </ul></div>
 182 </li>
 183 <li>
 184 <p>
 185 <span class="monospaced">MLton.GC.pack</span> doesn&#8217;t keep a small heap if a garbage collection occurs before <span class="monospaced">MLton.GC.unpack</span>.
 186 </p>
 187 <div class="ulist"><ul>
 188 <li>
 189 <p>
 190 It might be preferable for <span class="monospaced">MLton.GC.pack</span> to be implemented as a (new) <span class="monospaced">MLton.GC.Ratios.setLive 1.1</span> followed by <span class="monospaced">MLton.GC.collect ()</span> and for <span class="monospaced">MLton.GC.unpack</span> to be implemented as <span class="monospaced">MLton.GC.Ratios.setLive 8.0</span> followed by <span class="monospaced">MLton.GC.collect ()</span>.
 191 </p>
 192 </li>
 193 </ul></div>
 194 </li>
 195 <li>
 196 <p>
 197 The <span class="monospaced">static struct GC_objectType objectTypes[] =</span> 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.
 198 </p>
 199 </li>
 200 <li>
 201 <p>
 202 PolySpace bug: <a href="Redundant">Redundant</a> optimization (company won&#8217;t release sample code)
 203 </p>
 204 <div class="ulist"><ul>
 205 <li>
 206 <p>
 207 <a href="http://www.mlton.org/pipermail/mlton/2008-September/030355.html">http://www.mlton.org/pipermail/mlton/2008-September/030355.html</a>
 208 </p>
 209 </li>
 210 </ul></div>
 211 </li>
 212 <li>
 213 <p>
 214 treatment of exception raised during <a href="BasisLibrary">BasisLibrary</a> evaluation
 215 </p>
 216 <div class="ulist"><ul>
 217 <li>
 218 <p>
 219 <a href="http://www.mlton.org/pipermail/mlton/2008-December/030501.html">http://www.mlton.org/pipermail/mlton/2008-December/030501.html</a>
 220 </p>
 221 </li>
 222 <li>
 223 <p>
 224 <a href="http://www.mlton.org/pipermail/mlton/2008-December/030502.html">http://www.mlton.org/pipermail/mlton/2008-December/030502.html</a>
 225 </p>
 226 </li>
 227 <li>
 228 <p>
 229 <a href="http://www.mlton.org/pipermail/mlton/2008-December/030503.html">http://www.mlton.org/pipermail/mlton/2008-December/030503.html</a>
 230 </p>
 231 </li>
 232 </ul></div>
 233 </li>
 234 <li>
 235 <p>
 236 Use <span class="monospaced">memcpy</span>
 237 </p>
 238 <div class="ulist"><ul>
 239 <li>
 240 <p>
 241 <a href="http://www.mlton.org/pipermail/mlton-user/2009-January/001506.html">http://www.mlton.org/pipermail/mlton-user/2009-January/001506.html</a>
 242 </p>
 243 </li>
 244 <li>
 245 <p>
 246 <a href="http://www.mlton.org/pipermail/mlton/2009-January/030506.html">http://www.mlton.org/pipermail/mlton/2009-January/030506.html</a>
 247 </p>
 248 </li>
 249 </ul></div>
 250 </li>
 251 <li>
 252 <p>
 253 Implement more 64bit primops in x86 codegen
 254 </p>
 255 <div class="ulist"><ul>
 256 <li>
 257 <p>
 258 <a href="http://www.mlton.org/pipermail/mlton/2009-January/030507.html">http://www.mlton.org/pipermail/mlton/2009-January/030507.html</a>
 259 </p>
 260 </li>
 261 </ul></div>
 262 </li>
 263 <li>
 264 <p>
 265 Enrich path-map file syntax:
 266 </p>
 267 <div class="ulist"><ul>
 268 <li>
 269 <p>
 270 <a href="http://www.mlton.org/pipermail/mlton/2008-September/030348.html">http://www.mlton.org/pipermail/mlton/2008-September/030348.html</a>
 271 </p>
 272 </li>
 273 <li>
 274 <p>
 275 <a href="http://www.mlton.org/pipermail/mlton-user/2009-January/001507.html">http://www.mlton.org/pipermail/mlton-user/2009-January/001507.html</a>
 276 </p>
 277 </li>
 278 </ul></div>
 279 </li>
 280 <li>
 281 <p>
 282 PolySpace bug: crash during Cheney-copy collection
 283 </p>
 284 <div class="ulist"><ul>
 285 <li>
 286 <p>
 287 <a href="http://www.mlton.org/pipermail/mlton/2009-February/030513.html">http://www.mlton.org/pipermail/mlton/2009-February/030513.html</a>
 288 </p>
 289 </li>
 290 </ul></div>
 291 </li>
 292 <li>
 293 <p>
 294 eliminate <span class="monospaced">-build-constants</span>
 295 </p>
 296 <div class="ulist"><ul>
 297 <li>
 298 <p>
 299 all <span class="monospaced">_const</span>-s are known by <span class="monospaced">runtime/gen/basis-ffi.def</span>
 300 </p>
 301 </li>
 302 <li>
 303 <p>
 304 generate <span class="monospaced">gen-constants.c</span> from <span class="monospaced">basis-ffi.def</span>
 305 </p>
 306 </li>
 307 <li>
 308 <p>
 309 generate <span class="monospaced">constants</span> from <span class="monospaced">gen-constants.c</span> and <span class="monospaced">libmlton.a</span>
 310 </p>
 311 </li>
 312 <li>
 313 <p>
 314 similar to <span class="monospaced">gen-sizes.c</span> and <span class="monospaced">sizes</span>
 315 </p>
 316 </li>
 317 </ul></div>
 318 </li>
 319 <li>
 320 <p>
 321 eliminate "Windows hacks" for Cygwin from <span class="monospaced">Path</span> module
 322 </p>
 323 <div class="ulist"><ul>
 324 <li>
 325 <p>
 326 <a href="http://www.mlton.org/pipermail/mlton/2009-July/030606.html">http://www.mlton.org/pipermail/mlton/2009-July/030606.html</a>
 327 </p>
 328 </li>
 329 </ul></div>
 330 </li>
 331 <li>
 332 <p>
 333 extend IL type checkers to check for empty property lists
 334 </p>
 335 </li>
 336 <li>
 337 <p>
 338 make (unsafe) <span class="monospaced">IntInf</span> conversions into primitives
 339 </p>
 340 <div class="ulist"><ul>
 341 <li>
 342 <p>
 343 <a href="http://www.mlton.org/pipermail/mlton/2009-July/030622.html">http://www.mlton.org/pipermail/mlton/2009-July/030622.html</a>
 344 </p>
 345 </li>
 346 </ul></div>
 347 </li>
 348 </ul></div>
 349 </div>
 350 </div>
 351 </div>
 352 <div id="footnotes"><hr></div>
 353 <div id="footer">
 354 <div id="footer-text">
 355 </div>
 356 <div id="footer-badges">
 357 </div>
 358 </div>
 359 </body>
 360 </html>