title: Type inference implemented in C++
body: <p>Is there an implementation in C++, of <a href="https://stackoverflow.com/questions/399312/what-is-hindley-milner">Damas-Hindley-Milner</a> style type inference, preferably using modern C++ techniques?</p>