title: Learning/using ML. Which system should i use?
body: <p>I want to learn and use ML but there are many compilers out there. I need:</p>
  
  <ul>
  <li>speed</li>
  <li>low memory usage</li>
  <li>threading</li>
  <li>mutable arrays and record types</li>
  <li>continuations</li>
  <li>ready for production code</li>
  <li>easy ffi</li>
  <li>up to date</li>
  <li>... helpful libraries</li>
  <li>portable to some degree</li>
  </ul>
  
  <p>I do not need:</p>
  
  <ul>
  <li>objects</li>
  <li>GUI</li>
  <li>support for windows</li>
  </ul>
  
  <p>For example I found <a href="http://caml.inria.fr/" rel="noreferrer">OCaml</a>, <a href="http://batteries.forge.ocamlcore.org/" rel="noreferrer">OCaml Batteries include</a> and <a href="http://mlton.org/" rel="noreferrer">MLton</a>. Any advice for me which one should I choose?</p>