title: Damas-Hindley-Milner type inference algorithm implementation
body: <p>I'm looking for information about the well-known <a href="https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_system" rel="noreferrer">Damas-Hindley-Milner algorithm</a>
  to do type inference for functional languages, especially information about implementation.</p>
  
  <p>I already know how to do the <a href="https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_system#Algorithm_W" rel="noreferrer">Algorithm W</a>, but I heard about recent new algorithms based on constraint generator/solver rather than usual unification. However, I can't manage to find any discussions about the implementation of those new algorithm.</p>
  
  <p>Any idea where I could find some partial information on ML inference ?</p>