Damas-Hindley-Milner type inference algorithm implementation
问题 I'm looking for information about the well-known Damas-Hindley-Milner algorithm to do type inference for functional languages, especially information about implementation. I already know how to do the Algorithm W, 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. Any idea where I could find some partial information on ML inference ? 回答1: If